diff mbox series

[committed] analyzer: remove some no-longer-needed -Wno-analyzer-too-complex

Message ID 20210310135753.3037628-1-dmalcolm@redhat.com
State New
Headers show
Series [committed] analyzer: remove some no-longer-needed -Wno-analyzer-too-complex | expand

Commit Message

David Malcolm March 10, 2021, 1:57 p.m. UTC 
A couple of analyzer testcases no longer have state explosions; updating
them accordingly in case they regress.

Successfully regrtested on x86_64-pc-linux-gnu.
Pushed to trunk as 46b52b4ae118e4d682beb0bef4f51396cd40ebfe.

gcc/testsuite/ChangeLog:
	* gcc.dg/analyzer/pr94047.c: Remove "-Wno-analyzer-too-complex".
	* gcc.dg/analyzer/zlib-2.c: Likewise.
---
 gcc/testsuite/gcc.dg/analyzer/pr94047.c | 4 ----
 gcc/testsuite/gcc.dg/analyzer/zlib-2.c  | 2 --
 2 files changed, 6 deletions(-)
diff mbox series

Patch

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);