Lines Matching refs:BindExpr
238 State = State->BindExpr(Result, LC, Reg);
721 state = state->BindExpr(S, Pred->getLocationContext(),
818 State = State->BindExpr(S, LCtx, *ConstantVal);
853 ProgramStateRef state = N->getState()->BindExpr(Ex, LCtx, result);
897 state->BindExpr(B, Pred->getLocationContext(),
1144 state->BindExpr(SE, Pred->getLocationContext(),
1172 state->BindExpr(S, Pred->getLocationContext(), V));
1176 state->BindExpr(S, Pred->getLocationContext(),
1695 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V), 0,
1702 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V));
1707 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V), 0,
1718 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V), 0,
1748 Bldr.generateNode(A, *it, state->BindExpr(A, LCtx, V), 0,
1780 state = state->BindExpr(M, LCtx, MDVal);
1817 Bldr.generateNode(M, Pred, state->BindExpr(M, LCtx, L), 0,
2091 Bldr.generateNode(NodeEx, *NI, state->BindExpr(BoundEx, LCtx, V), tag,
2169 StateTrue = StateTrue->BindExpr(Ex, Pred->getLocationContext(), Val);
2176 StateFalse = StateFalse->BindExpr(Ex, Pred->getLocationContext(), Val);