1 files changed, 24 insertions, 0 deletions
diff --git a/gcc/testsuite/g++.dg/opt/loop2.C b/gcc/testsuite/g++.dg/opt/loop2.C
new file mode 100644
index 000000000..aee612ab5
--- /dev/null
+++ b/gcc/testsuite/g++.dg/opt/loop2.C
@@ -0,0 +1,24 @@
+// PR middle-end/22484
+// { dg-do compile }
+// { dg-options "-O3" }
+
+struct A { ~A(); };
+typedef bool B;
+
+bool foo();
+
+bool bar(A&)
+{
+  B b = true;
+
+  for (int i = 0; i < 2 && b; ++i)
+    b = foo();
+
+  return b;
+}
+
+void baz()
+{
+  A a;
+  if (bar(a)) foo();
+}