Searched refs:newValueExpr (Results 1 – 1 of 1) sorted by relevance
69 const Expr *newValueExpr = CE->getArg(1); in evalOSAtomicCompareAndSwap() local70 QualType newValueType = Ctx.getCanonicalType(newValueExpr->getType()); in evalOSAtomicCompareAndSwap()159 SVal val = stateEqual->getSVal(newValueExpr); in evalOSAtomicCompareAndSwap()164 val = svalBuilder.evalCast(val,R->getValueType(), newValueExpr->getType()); in evalOSAtomicCompareAndSwap()