Lines Matching refs:state
55 ProgramStateRef state = (*it)->getState(); in VisitBinaryOperator() local
57 SVal LeftV = state->getSVal(LHS, LCtx); in VisitBinaryOperator()
58 SVal RightV = state->getSVal(RHS, LCtx); in VisitBinaryOperator()
73 evalStore(Tmp2, B, LHS, *it, state->BindExpr(B, LCtx, ExprVal), in VisitBinaryOperator()
95 state = createTemporaryRegionIfNeeded(state, LCtx, LHS); in VisitBinaryOperator()
99 SVal Result = evalBinOp(state, Op, LeftV, RightV, B->getType()); in VisitBinaryOperator()
101 state = state->BindExpr(B, LCtx, Result); in VisitBinaryOperator()
104 state = escapeValues(state, LeftV, PSK_EscapeOther); in VisitBinaryOperator()
105 state = escapeValues(state, RightV, PSK_EscapeOther); in VisitBinaryOperator()
108 Bldr.generateNode(B, *it, state); in VisitBinaryOperator()
133 evalLoad(Tmp, B, LHS, *it, state, location); in VisitBinaryOperator()
138 state = (*I)->getState(); in VisitBinaryOperator()
140 SVal V = state->getSVal(LHS, LCtx); in VisitBinaryOperator()
157 SVal Result = svalBuilder.evalCast(evalBinOp(state, Op, V, RightV, CTy), in VisitBinaryOperator()
183 state = state->BindExpr(B, LCtx, location); in VisitBinaryOperator()
185 state = state->BindExpr(B, LCtx, Result); in VisitBinaryOperator()
187 evalStore(Tmp2, B, LHS, *I, state, location, LHSVal); in VisitBinaryOperator()
259 ProgramStateRef state, const Expr* Ex, const LocationContext* LCtx, in handleLValueBitCast() argument
270 SVal OrigV = state->getSVal(Ex, LCtx); in handleLValueBitCast()
276 state = state->BindExpr(CastE, LCtx, V); in handleLValueBitCast()
278 state = escapeValues(state, OrigV, PSK_EscapeOther); in handleLValueBitCast()
280 Bldr.generateNode(CastE, Pred, state); in handleLValueBitCast()
282 return state; in handleLValueBitCast()
296 ProgramStateRef state = subExprNode->getState(); in VisitCast() local
298 evalLoad(Dst, CastE, CastE, subExprNode, state, state->getSVal(Ex, LCtx)); in VisitCast()
315 ProgramStateRef state = Pred->getState(); in VisitCast() local
343 ProgramStateRef state = Pred->getState(); in VisitCast() local
345 SVal V = state->getSVal(Ex, LCtx); in VisitCast()
346 state = state->BindExpr(CastE, LCtx, V); in VisitCast()
347 Bldr.generateNode(CastE, Pred, state); in VisitCast()
352 SVal V = state->getSVal(Ex, LCtx); in VisitCast()
357 state = state->BindExpr(CastE, LCtx, V); in VisitCast()
358 Bldr.generateNode(CastE, Pred, state); in VisitCast()
362 state = in VisitCast()
363 handleLValueBitCast(state, Ex, LCtx, T, ExTy, CastE, Bldr, Pred); in VisitCast()
373 SVal V = state->getSVal(Ex, LCtx); in VisitCast()
375 state = state->BindExpr(CastE, LCtx, UnknownVal()); in VisitCast()
376 Bldr.generateNode(CastE, Pred, state); in VisitCast()
380 state = in VisitCast()
381 handleLValueBitCast(state, Ex, LCtx, T, ExTy, CastE, Bldr, Pred); in VisitCast()
412 state = in VisitCast()
413 handleLValueBitCast(state, Ex, LCtx, T, ExTy, CastE, Bldr, Pred); in VisitCast()
418 SVal V = state->getSVal(Ex, LCtx); in VisitCast()
422 V = svalBuilder.evalIntegralCast(state, V, T, ExTy); in VisitCast()
423 state = state->BindExpr(CastE, LCtx, V); in VisitCast()
424 Bldr.generateNode(CastE, Pred, state); in VisitCast()
430 SVal val = state->getSVal(Ex, LCtx); in VisitCast()
432 state = state->BindExpr(CastE, LCtx, val); in VisitCast()
433 Bldr.generateNode(CastE, Pred, state); in VisitCast()
438 SVal val = state->getSVal(Ex, LCtx); in VisitCast()
459 Bldr.generateSink(CastE, Pred, state); in VisitCast()
463 state = state->BindExpr(CastE, LCtx, in VisitCast()
472 state = state->BindExpr(CastE, LCtx, NewSym); in VisitCast()
475 state = state->BindExpr(CastE, LCtx, val); in VisitCast()
477 Bldr.generateNode(CastE, Pred, state); in VisitCast()
481 SVal val = state->getSVal(Ex, LCtx); in VisitCast()
497 state = state->BindExpr(CastE, LCtx, val); in VisitCast()
498 Bldr.generateNode(CastE, Pred, state); in VisitCast()
503 state = state->BindExpr(CastE, LCtx, V); in VisitCast()
504 Bldr.generateNode(CastE, Pred, state); in VisitCast()
509 state = state->BindExpr(CastE, LCtx, V); in VisitCast()
510 Bldr.generateNode(CastE, Pred, state); in VisitCast()
516 SVal V = state->getSVal(Ex, LCtx); in VisitCast()
521 state = state->BindExpr(CastE, LCtx, CastedPTMSV); in VisitCast()
522 Bldr.generateNode(CastE, Pred, state); in VisitCast()
538 state = state->BindExpr(CastE, LCtx, result); in VisitCast()
539 Bldr.generateNode(CastE, Pred, state); in VisitCast()
603 ProgramStateRef state = N->getState(); in VisitDeclStmt() local
611 SVal InitVal = state->getSVal(InitEx, LC); in VisitDeclStmt()
614 if (getObjectUnderConstruction(state, DS, LC)) { in VisitDeclStmt()
615 state = finishObjectConstruction(state, DS, LC); in VisitDeclStmt()
618 B.generateNode(DS, UpdatedN, state); in VisitDeclStmt()
635 evalBind(Dst2, DS, UpdatedN, state->getLValue(VD, LC), InitVal, true); in VisitDeclStmt()
640 B.generateNode(DS, N, state); in VisitDeclStmt()
668 ProgramStateRef state = Pred->getState(); in VisitLogicalExpr() local
676 Bldr.generateNode(B, Pred, state); in VisitLogicalExpr()
687 Bldr.generateNode(B, Pred, state); in VisitLogicalExpr()
695 Bldr.generateNode(B, Pred, state); in VisitLogicalExpr()
738 Bldr.generateNode(B, Pred, state->BindExpr(B, Pred->getLocationContext(), X)); in VisitLogicalExpr()
746 ProgramStateRef state = Pred->getState(); in VisitInitListExpr() local
760 B.generateNode(IE, Pred, state->BindExpr(IE, LCtx, V)); in VisitInitListExpr()
765 SVal V = state->getSVal(cast<Expr>(S), LCtx); in VisitInitListExpr()
770 state->BindExpr(IE, LCtx, in VisitInitListExpr()
784 V = state->getSVal(IE->getInit(0), LCtx); in VisitInitListExpr()
786 B.generateNode(IE, Pred, state->BindExpr(IE, LCtx, V)); in VisitInitListExpr()
797 ProgramStateRef state = Pred->getState(); in VisitGuardedExpr() local
802 ProgramStateRef SrcState = state; in VisitGuardedExpr()
850 B.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V, true)); in VisitGuardedExpr()
905 ProgramStateRef state = (*I)->getState(); in VisitUnaryExprOrTypeTraitExpr() local
906 state = state->BindExpr(Ex, (*I)->getLocationContext(), in VisitUnaryExprOrTypeTraitExpr()
909 Bldr.generateNode(Ex, *I, state); in VisitUnaryExprOrTypeTraitExpr()
926 ProgramStateRef state = (*I)->getState(); in handleUOExtension() local
928 Bldr.generateNode(U, *I, state->BindExpr(U, LCtx, in handleUOExtension()
929 state->getSVal(Ex, LCtx))); in handleUOExtension()
962 ProgramStateRef state = (*I)->getState(); in VisitUnaryOperator() local
964 Bldr.generateNode(U, *I, state->BindExpr(U, LCtx, in VisitUnaryOperator()
965 state->getSVal(Ex, LCtx))); in VisitUnaryOperator()
977 ProgramStateRef state = (*I)->getState(); in VisitUnaryOperator() local
980 Bldr.generateNode(U, *I, state->BindExpr(U, LCtx, X)); in VisitUnaryOperator()
1016 ProgramStateRef state = (*I)->getState(); in VisitUnaryOperator() local
1020 SVal V = state->getSVal(Ex, LCtx); in VisitUnaryOperator()
1023 Bldr.generateNode(U, *I, state->BindExpr(U, LCtx, V)); in VisitUnaryOperator()
1032 state = state->BindExpr( in VisitUnaryOperator()
1037 state = state->BindExpr(U, LCtx, in VisitUnaryOperator()
1048 Result = evalBinOp(state, BO_EQ, *LV, X, U->getType()); in VisitUnaryOperator()
1054 Result = evalBinOp(state, BO_EQ, V.castAs<NonLoc>(), X, in VisitUnaryOperator()
1058 state = state->BindExpr(U, LCtx, Result); in VisitUnaryOperator()
1061 Bldr.generateNode(U, *I, state); in VisitUnaryOperator()
1078 ProgramStateRef state = Pred->getState(); in VisitIncrementDecrementOperator() local
1079 SVal loc = state->getSVal(Ex, LCtx); in VisitIncrementDecrementOperator()
1083 evalLoad(Tmp, U, Ex, Pred, state, loc); in VisitIncrementDecrementOperator()
1089 state = (*I)->getState(); in VisitIncrementDecrementOperator()
1091 SVal V2_untested = state->getSVal(Ex, LCtx); in VisitIncrementDecrementOperator()
1095 state = state->BindExpr(U, LCtx, V2_untested); in VisitIncrementDecrementOperator()
1100 evalStore(Dst3, U, Ex, *I, state, loc, V2_untested); in VisitIncrementDecrementOperator()
1130 Result = evalBinOp(state, Op, V2, RHS, U->getType()); in VisitIncrementDecrementOperator()
1144 svalBuilder.evalEQ(state, V2,svalBuilder.makeZeroVal(U->getType())); in VisitIncrementDecrementOperator()
1146 if (!state->assume(Constraint, true)) { in VisitIncrementDecrementOperator()
1149 Constraint = svalBuilder.evalEQ(state, SymVal, in VisitIncrementDecrementOperator()
1152 state = state->assume(Constraint, false); in VisitIncrementDecrementOperator()
1153 assert(state); in VisitIncrementDecrementOperator()
1161 state = state->BindExpr(U, LCtx, loc); in VisitIncrementDecrementOperator()
1163 state = state->BindExpr(U, LCtx, U->isPostfix() ? V2 : Result); in VisitIncrementDecrementOperator()
1168 evalStore(Dst3, U, Ex, *I, state, loc, Result); in VisitIncrementDecrementOperator()