Home | History | Annotate | Download | only in Core

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);