From 6b3915fdec301bfee669ffee6491a7a7bdf6c0dc Mon Sep 17 00:00:00 2001 From: Paul Eggert Date: Sun, 1 Aug 2021 17:51:11 -0700 Subject: [PATCH] vasnprintf: improve -fanalyzer malloc checking --- ChangeLog | 2 ++ lib/vasnprintf.c | 8 ++++++++ 2 files changed, 10 insertions(+) diff --git a/ChangeLog b/ChangeLog index b1b6b4296c..d67787f421 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 diff --git a/lib/vasnprintf.c b/lib/vasnprintf.c index 12c532ef46..d9b669d150 100644 --- a/lib/vasnprintf.c +++ b/lib/vasnprintf.c @@ -60,6 +60,14 @@ #ifndef VASNPRINTF # include #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 /* Specification. */ -- 2.39.5