[clang] [analyzer] Model overflow builtins (PR #102602)

Balazs Benics via cfe-commits cfe-commits at lists.llvm.org
Mon Sep 30 04:52:02 PDT 2024


================
@@ -50,6 +122,107 @@ class BuiltinFunctionChecker : public Checker<eval::Call> {
 
 } // namespace
 
+const NoteTag *BuiltinFunctionChecker::createBuiltinNoOverflowNoteTag(
+    CheckerContext &C, bool bothFeasible, SVal Arg1, SVal Arg2,
----------------
steakhal wrote:

```suggestion
    CheckerContext &C, bool BothFeasible, SVal Arg1, SVal Arg2,
```

https://github.com/llvm/llvm-project/pull/102602


More information about the cfe-commits mailing list