StaticAnalyzer/Core/ExprEngineC.cpp

55       evalStore(Tmp2, B, LHS, *it, state->BindExpr(B, LCtx, ExprVal),
92       state = state->BindExpr(B, LCtx, Result);
168         state = state->BindExpr(B, LCtx, location);
170         state = state->BindExpr(B, LCtx, Result);
212                     State->BindExpr(BE, Pred->getLocationContext(), V),
278         state = state->BindExpr(CastE, LCtx, V);
316         state = state->BindExpr(CastE, LCtx, V);
325         state = state->BindExpr(CastE, LCtx, val);
355             state = state->BindExpr(CastE, LCtx, svalBuilder.makeNull());
363             state = state->BindExpr(CastE, LCtx, NewSym);
366             state = state->BindExpr(CastE, LCtx, val);
374         state = state->BindExpr(CastE, LCtx, V);
393         state = state->BindExpr(CastE, LCtx, result);
431   B.generateNode(CL, Pred, State->BindExpr(CL, LCtx, V));
570   Bldr.generateNode(B, Pred, state->BindExpr(B, Pred->getLocationContext(), X));
591       B.generateNode(IE, Pred, state->BindExpr(IE, LCtx, V));
604                    state->BindExpr(IE, LCtx,
618   B.generateNode(IE, Pred, state->BindExpr(IE, LCtx, V));
679   B.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V, true));
694                    Pred->getState()->BindExpr(OOE, Pred->getLocationContext(),
729   state = state->BindExpr(Ex, Pred->getLocationContext(),
760       Bldr.generateNode(U, Pred, state->BindExpr(U, LCtx,
776       Bldr.generateNode(U, Pred, state->BindExpr(U, LCtx, X));
796       Bldr.generateNode(U, Pred, state->BindExpr(U, LCtx,
813         Bldr.generateNode(U, Pred, state->BindExpr(U, LCtx, V));
822           state = state->BindExpr(U, LCtx, evalComplement(V.castAs<NonLoc>()));
826           state = state->BindExpr(U, LCtx, evalMinus(V.castAs<NonLoc>()));
847           state = state->BindExpr(U, LCtx, Result);
882       Bldr.generateNode(U, *I, state->BindExpr(U, LCtx, V2_untested));
933       state = state->BindExpr(U, LCtx, loc);
935       state = state->BindExpr(U, LCtx, U->isPostfix() ? V2 : Result);