public inbox for gcc-cvs@sourceware.org
help / color / mirror / Atom feed
* [gcc r11-7600] analyzer: remove some no-longer-needed -Wno-analyzer-too-complex
@ 2021-03-10 13:55 David Malcolm
0 siblings, 0 replies; only message in thread
From: David Malcolm @ 2021-03-10 13:55 UTC (permalink / raw)
To: gcc-cvs
https://gcc.gnu.org/g:46b52b4ae118e4d682beb0bef4f51396cd40ebfe
commit r11-7600-g46b52b4ae118e4d682beb0bef4f51396cd40ebfe
Author: David Malcolm <dmalcolm@redhat.com>
Date: Wed Mar 10 08:54:02 2021 -0500
analyzer: remove some no-longer-needed -Wno-analyzer-too-complex
A couple of analyzer testcases no longer have state explosions; updating
them accordingly in case they regress.
gcc/testsuite/ChangeLog:
* gcc.dg/analyzer/pr94047.c: Remove "-Wno-analyzer-too-complex".
* gcc.dg/analyzer/zlib-2.c: Likewise.
Diff:
---
gcc/testsuite/gcc.dg/analyzer/pr94047.c | 4 ----
gcc/testsuite/gcc.dg/analyzer/zlib-2.c | 2 --
2 files changed, 6 deletions(-)
diff --git a/gcc/testsuite/gcc.dg/analyzer/pr94047.c b/gcc/testsuite/gcc.dg/analyzer/pr94047.c
index d989a254c9e..5107ec03fc0 100644
--- a/gcc/testsuite/gcc.dg/analyzer/pr94047.c
+++ b/gcc/testsuite/gcc.dg/analyzer/pr94047.c
@@ -1,7 +1,3 @@
-/* { dg-additional-options "-Wno-analyzer-too-complex" } */
-/* TODO: the above ought not to be necessary, but currently is due to a
- state explosion within the for loop. */
-
typedef struct list
{
struct list *next;
diff --git a/gcc/testsuite/gcc.dg/analyzer/zlib-2.c b/gcc/testsuite/gcc.dg/analyzer/zlib-2.c
index d0b587cbbbe..62163a037ac 100644
--- a/gcc/testsuite/gcc.dg/analyzer/zlib-2.c
+++ b/gcc/testsuite/gcc.dg/analyzer/zlib-2.c
@@ -1,5 +1,3 @@
-/* { dg-additional-options "-Wno-analyzer-too-complex" } */
-
typedef void * (*alloc_func)(void * opaque, unsigned items, unsigned size);
typedef void (*free_func)(void * opaque, void * address);
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2021-03-10 13:55 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-03-10 13:55 [gcc r11-7600] analyzer: remove some no-longer-needed -Wno-analyzer-too-complex David Malcolm
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).