28 static SVal conjureOffsetSymbolOnLocation(  in conjureOffsetSymbolOnLocation()
29     SVal Symbol, SVal Other, Expr* Expression, SValBuilder &svalBuilder,  in conjureOffsetSymbolOnLocation()
57     SVal LeftV = state->getSVal(LHS, LCtx);  in VisitBinaryOperator()
58     SVal RightV = state->getSVal(RHS, LCtx);  in VisitBinaryOperator()
72       SVal ExprVal = B->isGLValue() ? LeftV : RightV;  in VisitBinaryOperator()
99       SVal Result = evalBinOp(state, Op, LeftV, RightV, B->getType());  in VisitBinaryOperator()
132     SVal location = LeftV;  in VisitBinaryOperator()
140       SVal V = state->getSVal(LHS, LCtx);  in VisitBinaryOperator()
157       SVal Result = svalBuilder.evalCast(evalBinOp(state, Op, V, RightV, CTy),  in VisitBinaryOperator()
163       SVal LHSVal;  in VisitBinaryOperator()
202   SVal V = svalBuilder.getBlockPointer(BD, T,  in VisitBlockExpr()
236         SVal originalV;  in VisitBlockExpr()
270   SVal OrigV = state->getSVal(Ex, LCtx);  in handleLValueBitCast()
271   SVal V = svalBuilder.evalCast(OrigV, T, ExTy);  in handleLValueBitCast()
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()
449           if (Optional<SVal> V =  in VisitCast()
481         SVal val = state->getSVal(Ex, LCtx);  in VisitCast()
487           Optional<SVal> V = getStoreManager().evalBaseToDerived(val, T);  in VisitCast()
502         SVal V = svalBuilder.makeNullWithType(CastE->getType());  in VisitCast()
508         SVal V = svalBuilder.getMemberPointer(nullptr);  in VisitCast()
516         SVal V = state->getSVal(Ex, LCtx);  in VisitCast()
518           SVal CastedPTMSV =  in VisitCast()
535         SVal result = svalBuilder.conjureSymbolVal(  in VisitCast()
555   SVal V = State->getSVal(CL->getInitializer(), LCtx);  in VisitCompoundLiteralExpr()
611       SVal InitVal = state->getSVal(InitEx, LC);  in VisitDeclStmt()
701   SVal X;  in VisitLogicalExpr()
724     SVal RHSVal = N->getState()->getSVal(RHS, Pred->getLocationContext());  in VisitLogicalExpr()
754     llvm::ImmutableList<SVal> vals = getBasicVals().getEmptySValList();  in VisitInitListExpr()
759       SVal V = svalBuilder.makeCompoundVal(T, vals);  in VisitInitListExpr()
765       SVal V = state->getSVal(cast<Expr>(S), LCtx);  in VisitInitListExpr()
780   SVal V;  in VisitInitListExpr()
823   SVal V;  in VisitGuardedExpr()
863     SVal X = svalBuilder.makeIntVal(IV);  in VisitOffsetOfExpr()
979       SVal X = svalBuilder.makeZeroVal(Ex->getType());  in VisitUnaryOperator()
993           SVal SV = svalBuilder.getMemberPointer(cast<NamedDecl>(VD));  in VisitUnaryOperator()
1020       SVal V = state->getSVal(Ex, LCtx);  in VisitUnaryOperator()
1045           SVal Result;  in VisitUnaryOperator()
1079   SVal loc = state->getSVal(Ex, LCtx);  in VisitIncrementDecrementOperator()
1091     SVal V2_untested = state->getSVal(Ex, LCtx);  in VisitIncrementDecrementOperator()
1113     SVal RHS;  in VisitIncrementDecrementOperator()
1114     SVal Result;  in VisitIncrementDecrementOperator()