Lines Matching defs:LHSVal
146 SVal LHSVal;
152 LHSVal = svalBuilder.conjureSymbolVal(0, B->getRHS(), LCtx, LTy,
155 Result = svalBuilder.evalCast(LHSVal, CTy, LTy);
160 LHSVal = svalBuilder.evalCast(Result, LTy, CTy);
170 evalStore(Tmp2, B, LHS, *I, state, location, LHSVal);
