107   std::pair<bool, bool> checkOverflow(CheckerContext &C, SVal RetVal,
147 BuiltinFunctionChecker::checkOverflow(CheckerContext &C, SVal RetVal,  in checkOverflow()  argument
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()  argument
188     NewState = NewState->bindLoc(*L, RetVal, C.getLocationContext());  in initStateAftetBuiltinOverflow()
213   SVal RetVal = SVB.evalBinOp(State, Op, Arg1, Arg2, ResultType);  in handleOverflowBuiltin()  local
219         initStateAftetBuiltinOverflow(C, State, Call, RetVal, false);  in handleOverflowBuiltin()
222                                   C, /*overflow=*/false, Arg1, Arg2, RetVal));  in handleOverflowBuiltin()
226     auto NewState = initStateAftetBuiltinOverflow(C, State, Call, RetVal, true);  in handleOverflowBuiltin()
229                                                            Arg1, Arg2, RetVal));  in handleOverflowBuiltin()