1 files changed, 26 insertions, 0 deletions
diff --git a/gcc/testsuite/g++.dg/opt/pr17902.C b/gcc/testsuite/g++.dg/opt/pr17902.C
new file mode 100644
index 000000000..fc5b6541f
--- /dev/null
+++ b/gcc/testsuite/g++.dg/opt/pr17902.C
@@ -0,0 +1,26 @@
+/* { dg-options "-O3" } */
+/* { dg-do compile } */
+
+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;
+}
+