[clang] [clang] [Static analyzer]: add initial support for builtin overflow (PR #102602)

[Balazs Benics via cfe-commits]

================
@@ -278,6 +278,23 @@ int *mallocRegion(void) {
   return mem;
 }
 
+int *custom_calloc(size_t a, size_t b) {
+  size_t res;
+  if (__builtin_mul_overflow(a, b, &res))
+    return 0;
+
+  return malloc(res);
----------------
steakhal wrote:

Have you considered using a ternary operator?

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