From 46b52b4ae118e4d682beb0bef4f51396cd40ebfe Mon Sep 17 00:00:00 2001 From: David Malcolm Date: Wed, 10 Mar 2021 08:54:02 -0500 Subject: [PATCH] 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. --- 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);