100                                               bool BothFeasible, SVal Arg1,
101                                               SVal Arg2, SVal Result) const;
105                                                 SVal RetCal,
107   std::pair<bool, bool> checkOverflow(CheckerContext &C, SVal RetVal,
129     CheckerContext &C, bool overflow, SVal Arg1, SVal Arg2, SVal Result) const {  in createBuiltinOverflowNoteTag()
147 BuiltinFunctionChecker::checkOverflow(CheckerContext &C, SVal RetVal,  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()
177     SVal RetVal, bool IsOverflow) const {  in initStateAftetBuiltinOverflow()
179   SVal Arg1 = Call.getArgSVal(0);  in initStateAftetBuiltinOverflow()
180   SVal Arg2 = Call.getArgSVal(1);  in initStateAftetBuiltinOverflow()
208   SVal Arg1 = Call.getArgSVal(0);  in handleOverflowBuiltin()
209   SVal Arg2 = Call.getArgSVal(1);  in handleOverflowBuiltin()
211   SVal RetValMax = SVB.evalBinOp(State, Op, Arg1, Arg2,  in handleOverflowBuiltin()
213   SVal RetVal = SVB.evalBinOp(State, Op, Arg1, Arg2, ResultType);  in handleOverflowBuiltin()
312     SVal Arg = Call.getArgSVal(0);  in evalCall()
323     SVal V = UnknownVal();  in evalCall()