Lines Matching refs:setValue
106 Env.setValue(*Loc, UnpackedVal); in maybeUnpackLValueExpr()
114 Env.setValue(To, *Val); in propagateValue()
168 Env.setValue(*LHSLoc, *RHSVal); in VisitBinaryOperator()
180 Env.setValue(*S, Env.makeAnd(LHSVal, RHSVal)); in VisitBinaryOperator()
182 Env.setValue(*S, Env.makeOr(LHSVal, RHSVal)); in VisitBinaryOperator()
188 Env.setValue(*S, S->getOpcode() == BO_EQ ? LHSEqRHSValue in VisitBinaryOperator()
296 Env.setValue(*S, *SubExprVal); in VisitImplicitCastExpr()
300 Env.setValue(*S, Env.makeAtomicBoolValue()); in VisitImplicitCastExpr()
311 Env.setValue(*S, *SubExprVal); in VisitImplicitCastExpr()
336 Env.setValue(*S, NullPointerVal); in VisitImplicitCastExpr()
348 Env.setValue(*S, Env.create<PointerValue>(*PointeeLoc)); in VisitImplicitCastExpr()
381 Env.setValue(*S, Env.create<PointerValue>(*PointeeLoc)); in VisitUnaryOperator()
389 Env.setValue(*S, Env.makeNot(*SubExprVal)); in VisitUnaryOperator()
423 Env.setValue(*S, Env.create<PointerValue>(*ThisPointeeLoc)); in VisitCXXThisExpr()
428 Env.setValue(*S, *Val); in VisitCXXNewExpr()
646 Env.setValue(*S, *ArgVal); in VisitCallExpr()
672 Env.setValue(Loc, *SubExprVal); in VisitMaterializeTemporaryExpr()
728 Env.setValue(*S, *Val); in VisitConditionalOperator()
778 Env.setValue(*FieldLoc, *Val); in VisitInitListExpr()
787 Env.setValue(*FieldLoc, *Val); in VisitInitListExpr()
795 Env.setValue(*S, Env.getBoolLiteralValue(S->getValue())); in VisitCXXBoolLiteralExpr()
799 Env.setValue(*S, Env.getIntLiteralValue(S->getValue())); in VisitIntegerLiteral()