[PATCH 23/27] vasnprintf: improve -fanalyzer malloc checking

[Paul Eggert]

---
 ChangeLog        | 2 ++
 lib/vasnprintf.c | 8 ++++++++
 2 files changed, 10 insertions(+)

diff --git a/ChangeLog b/ChangeLog
index b1b6b4296..d67787f42 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -15,6 +15,8 @@
        * lib/malloca.c (mmalloca): Redo to pacify GCC, to cut down on the
        number of casts, and to avoid signed integer overflow on
        theoretical platforms.
+       * lib/vasnprintf.c:
+       Disable -Wanalyzer-null-argument here.
 
 2021-08-01  Jim Meyering  <meyering@fb.com>
 
diff --git a/lib/vasnprintf.c b/lib/vasnprintf.c
index 12c532ef4..d9b669d15 100644
--- a/lib/vasnprintf.c
+++ b/lib/vasnprintf.c
@@ -60,6 +60,14 @@
 #ifndef VASNPRINTF
 # include <config.h>
 #endif
+
+/* As of GCC 11.2.1, gcc -Wanalyzer-too-complex reports that main's
+   use of CHECK macros expands to code that is too complicated for gcc
+   -fanalyzer.  Suppress the resulting bogus warnings.  */
+#if 10 <= __GNUC__
+# pragma GCC diagnostic ignored "-Wanalyzer-null-argument"
+#endif
+
 #include <alloca.h>
 
 /* Specification.  */
-- 
2.31.1