Lines Matching refs:LHSVal
155 SVal LHSVal;
161 LHSVal = svalBuilder.conjureSymbolVal(nullptr, B->getRHS(), LCtx, LTy,
164 Result = svalBuilder.evalCast(LHSVal, CTy, LTy);
169 LHSVal = svalBuilder.evalCast(Result, LTy, CTy);
179 evalStore(Tmp2, B, LHS, *I, state, location, LHSVal);