Home | History | Annotate | Download | only in Core

Lines Matching defs:LTy

143       QualType LTy = getContext().getCanonicalType(LHS->getType());
146       V = svalBuilder.evalCast(V, CLHSTy, LTy);
161         LHSVal = svalBuilder.conjureSymbolVal(nullptr, B->getRHS(), LCtx, LTy,
164         Result = svalBuilder.evalCast(LHSVal, CTy, LTy);
169         LHSVal = svalBuilder.evalCast(Result, LTy, CTy);