380       State = State->BindExpr(Result, LC, *V);  in createTemporaryRegionIfNeeded()
450     State = State->BindExpr(Result, LC, Reg);  in createTemporaryRegionIfNeeded()
452     State = State->BindExpr(Result, LC, InitValWithAdjustments);  in createTemporaryRegionIfNeeded()
1524       state = state->BindExpr(  in Visit()
1648         State = State->BindExpr(S, LCtx, *ConstantVal);  in Visit()
1682         ProgramStateRef State = N->getState()->BindExpr(Ex, LCtx, result);  in Visit()
1753                           state->BindExpr(B, Pred->getLocationContext(),  in Visit()
2026                           state->BindExpr(SE, Pred->getLocationContext(),  in Visit()
2054                           state->BindExpr(S, Pred->getLocationContext(), V));  in Visit()
2058                           state->BindExpr(S, Pred->getLocationContext(),  in Visit()
2075               state->BindExpr(S, Pred->getLocationContext(), V));  in Visit()
2764     Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V), nullptr,  in VisitCommonDeclRefExpr()
2771     Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V));  in VisitCommonDeclRefExpr()
2776     Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V), nullptr,  in VisitCommonDeclRefExpr()
2836     Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V), nullptr,  in VisitCommonDeclRefExpr()
2943     Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, Base));  in VisitArrayInitLoopExpr()
2986       Bldr.generateNode(A, Node, state->BindExpr(A, LCtx, V), nullptr,  in VisitArraySubscriptExpr()
3030         state = state->BindExpr(M, LCtx, MDVal);  in VisitMemberExpr()
3068         Bldr.generateNode(M, I, state->BindExpr(M, LCtx, L), nullptr,  in VisitMemberExpr()
3110     State = State->BindExpr(AE, LCtx, ResultVal);  in VisitAtomicExpr()
3331     Bldr.generateNode(NodeEx, I, state->BindExpr(BoundEx, LCtx, V), tag,  in evalLoad()
3409         StateTrue = StateTrue->BindExpr(Ex, Pred->getLocationContext(), Val);  in evalEagerlyAssumeBinOpBifurcation()
3416         StateFalse = StateFalse->BindExpr(Ex, Pred->getLocationContext(), Val);  in evalEagerlyAssumeBinOpBifurcation()