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