Lines Matching refs:svalBuilder
50 RightV = svalBuilder.conjureSymbolVal(nullptr, B->getRHS(), LCtx,
74 RightV = svalBuilder.conjureSymbolVal(RHS, LCtx, RHS->getType(),
80 LeftV = svalBuilder.conjureSymbolVal(LHS, LCtx, LHS->getType(),
146 V = svalBuilder.evalCast(V, CLHSTy, LTy);
149 SVal Result = svalBuilder.evalCast(evalBinOp(state, Op, V, RightV, CTy),
161 LHSVal = svalBuilder.conjureSymbolVal(nullptr, B->getRHS(), LCtx, LTy,
164 Result = svalBuilder.evalCast(LHSVal, CTy, LTy);
169 LHSVal = svalBuilder.evalCast(Result, LTy, CTy);
194 SVal V = svalBuilder.getBlockPointer(BD, T,
345 // Delegate to SValBuilder to process.
347 V = svalBuilder.evalCast(V, T, ExTy);
356 // Delegate to SValBuilder to process.
358 V = svalBuilder.evalIntegralCast(state, V, T, ExTy);
398 state = state->BindExpr(CastE, LCtx, svalBuilder.makeNull());
404 svalBuilder.conjureSymbolVal(nullptr, CastE, LCtx, resultType,
416 SVal V = svalBuilder.makeNull();
432 SVal result = svalBuilder.conjureSymbolVal(nullptr, CastE, LCtx,
533 InitVal = svalBuilder.conjureSymbolVal(nullptr, InitEx, LC, Ty,
585 X = svalBuilder.makeIntVal(constant, B->getType());
639 SVal V = svalBuilder.makeCompoundVal(T, vals);
652 svalBuilder.makeCompoundVal(T, vals)));
723 V = svalBuilder.conjureSymbolVal(nullptr, Ex, LCtx,
740 SVal X = svalBuilder.makeIntVal(IV);
784 svalBuilder.makeIntVal(amt.getQuantity(),
840 SVal X = svalBuilder.makeZeroVal(Ex->getType());
900 Loc X = svalBuilder.makeNull();
963 RHS = svalBuilder.makeArrayIndex(1);
965 RHS = svalBuilder.makeIntVal(1, U->getType());
974 svalBuilder.conjureSymbolVal(nullptr, Ex, LCtx,
983 svalBuilder.evalEQ(state, V2,svalBuilder.makeZeroVal(U->getType()));
988 Constraint = svalBuilder.evalEQ(state, SymVal,
989 svalBuilder.makeZeroVal(U->getType()));
