From 58f0dda5b0f4ad174b5e907afd727fbdb93d7645 Mon Sep 17 00:00:00 2001
From: David Malcolm <dmalcolm@redhat.com>
Date: Wed, 29 Apr 2020 09:45:52 -0400
Subject: [PATCH 088/179] FIXME: disable ICE-ing tests in data-model-1.c for
 now

---
 gcc/testsuite/gcc.dg/analyzer/data-model-1.c | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)

diff --git a/gcc/testsuite/gcc.dg/analyzer/data-model-1.c b/gcc/testsuite/gcc.dg/analyzer/data-model-1.c
index 5b869536513..9439b2b553f 100644
--- a/gcc/testsuite/gcc.dg/analyzer/data-model-1.c
+++ b/gcc/testsuite/gcc.dg/analyzer/data-model-1.c
@@ -175,6 +175,7 @@ struct coord
   long y;
 };
 
+#if 0
 int test_12d (struct coord c)
 {
   struct coord d;
@@ -193,6 +194,7 @@ int test_12d (struct coord c)
      But d.x and d.y should be different unknown values (although they inherit
      from d's region).  */
 }
+#endif
 
 /* Nested structs.  */
 
@@ -470,6 +472,7 @@ void test_23 (struct foo *f, struct foo *g)
   __analyzer_eval (i == k); /* { dg-warning "UNKNOWN" } */
 }
 
+#if 0
 void test_24 (struct foo *f)
 {
   struct foo g;
@@ -483,7 +486,9 @@ void test_24 (struct foo *f)
   /* { dg-warning "TRUE" "status quo" { target *-*-* } .-1 } */
   // TODO(xfail)
 }
+#endif
 
+#if 0
 void test_25 (struct foo *f)
 {
   struct foo g;
@@ -500,7 +505,9 @@ void test_25 (struct foo *f)
   /* { dg-warning "FALSE" "status quo" { target *-*-* } .-1 } */
   // TODO(xfail)
 }
+#endif
 
+#if 0
 void test_26 (struct coord *p, struct coord *q)
 {
   p->x = 42;
@@ -524,6 +531,7 @@ void test_26 (struct coord *p, struct coord *q)
   __analyzer_eval (q->x); /* { dg-warning "UNKNOWN" } */
   __analyzer_eval (q->y == 17); /* { dg-warning "TRUE" } */
 }
+#endif
 
 void test_27 (struct coord *p)
 {
@@ -914,6 +922,7 @@ union u
   int *ptr;
 };
 
+#if 0
 void test_41 (void)
 {
   union u u;
@@ -926,6 +935,7 @@ void test_41 (void)
   __analyzer_eval (u.ptr == NULL); /* { dg-warning "TRUE" } */
   __analyzer_eval (u.i == 42); /* { dg-warning "UNKNOWN" } */
 }
+#endif
 
 void test_42 (void)
 {
@@ -978,6 +988,7 @@ struct ubits
 
 /* FIXME: this requires BIT_FIELD_REF to work.  */
 
+#if 0
 void test_45 (void)
 {
   struct ubits bits;
@@ -991,6 +1002,7 @@ void test_45 (void)
   /* { dg-warning "UNKNOWN" "status quo" { target *-*-* } .-1 } */
   // TODO(xfail): ^^^^
 };
+#endif
 
 extern const char *char_ptr;
 
@@ -1007,10 +1019,12 @@ char test_47 (void)
   return my_version[0];
 }
 
+#if 0
 unsigned test_48 (unsigned char *p, unsigned char *q)
 {
   return (unsigned int)(p - q);
 }
+#endif
 
 typedef struct {
   const char *filename;
@@ -1042,6 +1056,7 @@ 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;
@@ -1051,12 +1066,14 @@ 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;
@@ -1064,6 +1081,7 @@ 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