Lines Matching defs:SVB

158   SValBuilder &SVB = C.getSValBuilder();
159   BasicValueFactory &VF = SVB.getBasicValueFactory();
167   SVal IsLeMax = SVB.evalBinOp(State, BO_LE, RetVal, MaxVal, Res);
168   SVal IsGeMin = SVB.evalBinOp(State, BO_GE, RetVal, MinVal, Res);
186   SValBuilder &SVB = C.getSValBuilder();
193   SVal RetValMax = SVB.evalBinOp(State, Op, Arg1, Arg2,
195   SVal RetVal = SVB.evalBinOp(State, Op, Arg1, Arg2, ResultType);
200         CE, C.getLocationContext(), SVB.makeTruthVal(false, BoolTy));
219                                     SVB.makeTruthVal(true, BoolTy)),
332     SValBuilder &SVB = C.getSValBuilder();
338       BasicValueFactory &BVF = SVB.getBasicValueFactory();
340       V = SVB.makeIntVal(Result);
348         V = SVB.makeIntVal(0, CE->getType());