Lines Matching refs:svalBuilder
579 SValBuilder &svalBuilder = C.getSValBuilder();
581 svalBuilder.makeZeroVal(Arg->getType()).castAs<DefinedSVal>();
584 DefinedOrUnknownSVal ArgIsNull = svalBuilder.evalEQ(state, zero, *DefArgVal);
955 SValBuilder &SvalBuilder = C.getSValBuilder();
957 SvalBuilder.evalBinOp(State, BO_GT,
959 SvalBuilder.makeIntVal(0, (*CountS)->getType()),
960 SvalBuilder.getConditionType());
964 // The SValBuilder cannot construct a valid SVal for this condition.
