155   SValBuilder &SVB = C.getSValBuilder();  in checkOverflow()  local
156   BasicValueFactory &VF = SVB.getBasicValueFactory();  in checkOverflow()
164   SVal IsLeMax = SVB.evalBinOp(State, BO_LE, RetVal, MaxVal, Res);  in checkOverflow()
165   SVal IsGeMin = SVB.evalBinOp(State, BO_GE, RetVal, MinVal, Res);  in checkOverflow()
178   SValBuilder &SVB = C.getSValBuilder();  in initStateAftetBuiltinOverflow()  local
185                       SVB.makeTruthVal(IsOverflow, BoolTy));  in initStateAftetBuiltinOverflow()
206   SValBuilder &SVB = C.getSValBuilder();  in handleOverflowBuiltin()  local
211   SVal RetValMax = SVB.evalBinOp(State, Op, Arg1, Arg2,  in handleOverflowBuiltin()
213   SVal RetVal = SVB.evalBinOp(State, Op, Arg1, Arg2, ResultType);  in handleOverflowBuiltin()
322     SValBuilder &SVB = C.getSValBuilder();  in evalCall()  local
328       BasicValueFactory &BVF = SVB.getBasicValueFactory();  in evalCall()
330       V = SVB.makeIntVal(Result);  in evalCall()
338         V = SVB.makeIntVal(0, CE->getType());  in evalCall()