Re: [PATCH] Reduce false positives for -Wnonnull for VLA parameters [PR98541]

[Jeff Law]

On 11/6/23 20:58, Hans-Peter Nilsson wrote:
From: Martin Uecker <uec...@tugraz.at>
Date: Tue, 31 Oct 2023 20:05:09 +0100

     Reduce false positives for -Wnonnull for VLA parameters [PR98541]
     
     This patch limits the warning about NULL arguments to VLA
     parameters declared [static n].
     
             PR c/98541
     
     gcc/
             * gimple-ssa-warn-access.cc
             (pass_waccess::maybe_check_access_sizes): For VLA bounds
             in parameters, only warn about null pointers with 'static'.
     
     gcc/testsuite:
             * gcc.dg/Wnonnull-4: Adapt test.
             * gcc.dg/Wstringop-overflow-40.c: Adapt test.

This patch caused a testsuite regression: there's now an
"excess error" failure for gcc.dg/Wnonnull-4.c for 32-bit
targets (and 64-bit targets testing with a "-m32" option)
after your r14-5115-g6e9ee44d96e5.  It's logged as PR112419.
It caused failures for just about every target ;(  Presumably it worked 
on x86_64...

jeff