From 4f7143373b04101d616fc779e1b6869456541c2e Mon Sep 17 00:00:00 2001 From: David Malcolm Date: Fri, 15 May 2020 16:47:21 -0400 Subject: [PATCH 142/179] FIXME: data-model-1.c does not ICE --- gcc/testsuite/gcc.dg/analyzer/data-model-1.c | 4 ---- 1 file changed, 4 deletions(-) diff --git a/gcc/testsuite/gcc.dg/analyzer/data-model-1.c b/gcc/testsuite/gcc.dg/analyzer/data-model-1.c index c368ba20e25..939ba2feaa9 100644 --- a/gcc/testsuite/gcc.dg/analyzer/data-model-1.c +++ b/gcc/testsuite/gcc.dg/analyzer/data-model-1.c @@ -1035,7 +1035,6 @@ void test_50 (void *p, void *q) __analyzer_eval (cp == cq); /* { dg-warning "UNKNOWN" } */ } -#if 0 void test_51 (struct coord c) { struct coord d; @@ -1045,14 +1044,12 @@ void test_51 (struct coord c) __analyzer_eval (c.y == d.y); /* { dg-warning "TRUE" "desired" { xfail *-*-* } } */ /* { dg-warning "UNKNOWN" "status quo" { target *-*-* } .-1 } */ } -#endif struct big { int ia[1024]; }; -#if 0 void test_52 (struct big b) { struct big d; @@ -1060,7 +1057,6 @@ void test_52 (struct big b) __analyzer_eval (b.ia[0] == d.ia[0]); /* { dg-warning "TRUE" "desired" { xfail *-*-* } } */ /* { dg-warning "UNKNOWN" "status quo" { target *-*-* } .-1 } */ } -#endif void test_53 (const char *msg) { -- 2.21.0