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

DonĂ¡t Nagy via cfe-commits cfe-commits at lists.llvm.org
Thu Sep 12 02:05:34 PDT 2024


================
@@ -327,6 +327,8 @@ Static Analyzer
 New features
 ^^^^^^^^^^^^
 
+- Now CSA models `builtin_*_overflow` functions.
----------------
NagyDonat wrote:

```suggestion
- Now CSA models `__builtin_*_overflow` functions.
```

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


More information about the cfe-commits mailing list