Home | History | Annotate | Download | only in Core

Lines Matching refs:evalCast

146       V = svalBuilder.evalCast(V, CLHSTy, LTy);
149       SVal Result = svalBuilder.evalCast(evalBinOp(state, Op, V, RightV, CTy),
164         Result = svalBuilder.evalCast(LHSVal, CTy, LTy);
169         LHSVal = svalBuilder.evalCast(Result, LTy, CTy);
325         V = svalBuilder.evalCast(V, T, ExTy);
570           X = getSValBuilder().evalCast(RHSVal, B->getType(), RHS->getType());