1 files changed, 30 insertions, 0 deletions
diff --git a/gcc/testsuite/g++.dg/eh/loop1.C b/gcc/testsuite/g++.dg/eh/loop1.C
new file mode 100644
index 000000000..b9b230e0f
--- /dev/null
+++ b/gcc/testsuite/g++.dg/eh/loop1.C
@@ -0,0 +1,30 @@
+// Verify that loop optimization takes into account the exception edge
+// and does not increment I before the call.
+// { dg-do run }
+// { dg-options "-O2" }
+
+extern "C" void abort();
+static void bar(char *);
+
+static void foo(unsigned long element_count, char *ptr)
+{
+  unsigned long i;
+  try {
+    for (i = 0; i != element_count; i++, ptr += 8)
+      bar (ptr);
+  }
+  catch (...) {
+    if (i)
+      abort ();
+  }
+}
+
+static void bar(char *)
+{
+  throw 1;
+}
+
+int main()
+{
+  foo(2, 0);
+}