57     SVal LeftV = state->getSVal(LHS, LCtx);  in VisitBinaryOperator()
58     SVal RightV = state->getSVal(RHS, LCtx);  in VisitBinaryOperator()
140       SVal V = state->getSVal(LHS, LCtx);  in VisitBinaryOperator()
239           originalV = State->getSVal(copyExpr, LCtx);  in VisitBlockExpr()
241           originalV = State->getSVal(loc::MemRegionVal(originalR));  in VisitBlockExpr()
270   SVal OrigV = state->getSVal(Ex, LCtx);  in handleLValueBitCast()
298       evalLoad(Dst, CastE, CastE, subExprNode, state, state->getSVal(Ex, LCtx));  in VisitCast()
345         SVal V = state->getSVal(Ex, LCtx);  in VisitCast()
352         SVal V = state->getSVal(Ex, LCtx);  in VisitCast()
373         SVal V = state->getSVal(Ex, LCtx);  in VisitCast()
418         SVal V = state->getSVal(Ex, LCtx);  in VisitCast()
430         SVal val = state->getSVal(Ex, LCtx);  in VisitCast()
438         SVal val = state->getSVal(Ex, LCtx);  in VisitCast()
481         SVal val = state->getSVal(Ex, LCtx);  in VisitCast()
516         SVal V = state->getSVal(Ex, LCtx);  in VisitCast()
555   SVal V = State->getSVal(CL->getInitializer(), LCtx);  in VisitCompoundLiteralExpr()
611       SVal InitVal = state->getSVal(InitEx, LC);  in VisitDeclStmt()
724     SVal RHSVal = N->getState()->getSVal(RHS, Pred->getLocationContext());  in VisitLogicalExpr()
765       SVal V = state->getSVal(cast<Expr>(S), LCtx);  in VisitInitListExpr()
784     V = state->getSVal(IE->getInit(0), LCtx);  in VisitInitListExpr()
839         V = SrcState->getSVal(ValEx, LCtx);  in VisitGuardedExpr()
929                                            state->getSVal(Ex, LCtx)));  in handleUOExtension()
965                                                state->getSVal(Ex, LCtx)));  in VisitUnaryOperator()
1020       SVal V = state->getSVal(Ex, LCtx);  in VisitUnaryOperator()
1079   SVal loc = state->getSVal(Ex, LCtx);  in VisitIncrementDecrementOperator()
1091     SVal V2_untested = state->getSVal(Ex, LCtx);  in VisitIncrementDecrementOperator()