101                                               SVal Arg2, SVal Result) const;
129     CheckerContext &C, bool overflow, SVal Arg1, SVal Arg2, SVal Result) const {  in createBuiltinOverflowNoteTag()  argument
130   return C.getNoteTag([Result, Arg1, Arg2, overflow](PathSensitiveBugReport &BR,  in createBuiltinOverflowNoteTag()
137     BR.markInteresting(Arg2);  in createBuiltinOverflowNoteTag()
180   SVal Arg2 = Call.getArgSVal(1);  in initStateAftetBuiltinOverflow()  local
191     if (isTainted(State, Arg1) || isTainted(State, Arg2))  in initStateAftetBuiltinOverflow()
209   SVal Arg2 = Call.getArgSVal(1);  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()
222                                   C, /*overflow=*/false, Arg1, Arg2, RetVal));  in handleOverflowBuiltin()
229                                                            Arg1, Arg2, RetVal));  in handleOverflowBuiltin()