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

[Balazs Benics via cfe-commits]

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

```suggestion
- Now CSA models `__builtin_*_overflow` functions. (#GH102602)
```

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