https://gcc.gnu.org/g:3b1df514951940298acd6b602f629027066af1c0
commit 3b1df514951940298acd6b602f629027066af1c0
Author: Alexandre Oliva <ol...@adacore.com>
Date: Thu Jul 11 09:04:38 2024 -0300
[analyzer] [testsuite] avoid unexpected null dereference warning
The analyzer testsuite, on a customer's own operating system, reports
a potential NULL pointer dereference in flex-without-call-summaries.c.
I'm not sure why it shows up on that system, but not on others, but
the test is not meant to test for that warning, so I'm silencing it.
for gcc/testsuite/ChangeLog
* c-c++-common/analyzer/flex-without-call-summaries.c: Disable
null dereference analyzer warnings.
Diff:
---
gcc/testsuite/c-c++-common/analyzer/flex-without-call-summaries.c | 1 +
1 file changed, 1 insertion(+)
diff --git a/gcc/testsuite/c-c++-common/analyzer/flex-without-call-summaries.c
b/gcc/testsuite/c-c++-common/analyzer/flex-without-call-summaries.c
index c6ecb25d25d5..1aad2bc896b7 100644
--- a/gcc/testsuite/c-c++-common/analyzer/flex-without-call-summaries.c
+++ b/gcc/testsuite/c-c++-common/analyzer/flex-without-call-summaries.c
@@ -3,6 +3,7 @@
/* { dg-additional-options "-fno-analyzer-call-summaries" } */
+/* { dg-additional-options "-Wno-analyzer-null-dereference" } */
/* { dg-additional-options "-Wno-analyzer-too-complex" } */
/* { dg-additional-options "-D_POSIX_SOURCE" } */
