re PR tree-optimization/17902 (ICE from tree_verify_flow_info)

2004-10-08  Andrew Pinski  <pinskia@physics.uc.edu>

        PR tree-opt/17902
        * g++.dg/opt/pr17902.C: New test.

From-SVN: r88802

gcc/testsuite/ChangeLog

+2004-10-08  Andrew Pinski  <pinskia@physics.uc.edu>
+
+	PR tree-opt/17902
+	* g++.dg/opt/pr17902.C: New test.
+
 2004-10-09  Jakub Jelinek  <jakub@redhat.com>
 
 	* gcc.dg/cpp/ident-1.c: Add dg-options "".

gcc/testsuite/g++.dg/opt/pr17902.C

+/* { dg-options "-O3" } */
+/* { dg-do compiler } */
+
+void foo();
+struct A { ~A(){ foo(); } };
+struct B { A a; };
+void bar()
+{
+    A a;
+    bool b = false;
+    int i, j;
+
+
+    for (j=0; j<i; j++)
+    {
+        if (i) b=true;
+        if (j && i) foo();
+        if (j && i) i++;
+    }
+
+
+    for (j=0; j<i; j++)
+        if ( !j || (j==1 && b && i) )
+            B x;
+}
+