[gcc r11-7600] analyzer: remove some no-longer-needed -Wno-analyzer-too-complex

[David Malcolm]

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