StaticAnalyzer/Core/ExprEngine.cpp

226   State = State->BindExpr(Result, LC, Reg);
670       state = state->BindExpr(S, Pred->getLocationContext(),
758         State = State->BindExpr(DefaultE, LCtx, *ConstantVal);
792         ProgramStateRef state = N->getState()->BindExpr(Ex, LCtx, result);
836                           state->BindExpr(B, Pred->getLocationContext(),
1083                           state->BindExpr(SE, Pred->getLocationContext(),
1111                           state->BindExpr(S, Pred->getLocationContext(), V));
1115                           state->BindExpr(S, Pred->getLocationContext(),
1628     Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V), 0,
1635     Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V));
1640     Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V), 0,
1651     Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V), 0,
1681     Bldr.generateNode(A, *it, state->BindExpr(A, LCtx, V), 0,
1713     state = state->BindExpr(M, LCtx, MDVal);
1733     Bldr.generateNode(M, Pred, state->BindExpr(M, LCtx, L), 0,
2016     Bldr.generateNode(NodeEx, *NI, state->BindExpr(BoundEx, LCtx, V), tag,
2094         StateTrue = StateTrue->BindExpr(Ex, Pred->getLocationContext(), Val);
2101         StateFalse = StateFalse->BindExpr(Ex, Pred->getLocationContext(), Val);