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

[Donát Nagy via cfe-commits]

================
@@ -0,0 +1,30 @@
+// RUN: %clang_analyze_cc1 -analyzer-checker=core -analyzer-output text \
+// RUN:   -verify %s
+
+void test_no_overflow_note(int a, int b)
+{
+   int res;
+
+   if (__builtin_add_overflow(a, b, &res)) // expected-note {{Assuming overflow does not happen}}
----------------
NagyDonat wrote:

I agree that the phrasing suggested by @steakhal would be better, but I think that the original is also acceptable.

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