[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