[Bug lto/88140] [9 Regression] ICE: verify_gimple failed since r266325

[hubicka at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88140

--- Comment #9 from Jan Hubicka <hubicka at gcc dot gnu.org> ---
Index: tree.c
===================================================================
--- tree.c      (revision 267377)
+++ tree.c      (working copy)
@@ -5372,7 +5372,8 @@ fld_simplified_type (tree t, struct free
     return t;
   if (POINTER_TYPE_P (t))
     return fld_incomplete_type_of (t, fld);
-  if (TREE_CODE (t) == ARRAY_TYPE)
+  /* FIXME: This triggers verification error, see PR88140.  */
+  if (TREE_CODE (t) == ARRAY_TYPE && 0)
     return fld_process_array_type (t, fld_simplified_type (TREE_TYPE (t),
fld),
                                   fld_simplified_types, fld);
   return t;
Index: testsuite/gcc.c-torture/pr88140.c
===================================================================
--- testsuite/gcc.c-torture/pr88140.c   (nonexistent)
+++ testsuite/gcc.c-torture/pr88140.c   (working copy)
@@ -0,0 +1,9 @@
+typedef struct {
+} a;
+
+typedef struct {
+  a *b[0];
+} c;
+
+void d() { ((c *)0)->b[0] = 0; }
+