1 files changed, 27 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.c-torture/execute/20070424-1.c b/gcc/testsuite/gcc.c-torture/execute/20070424-1.c
new file mode 100644
index 000000000..4a9f9c916
--- /dev/null
+++ b/gcc/testsuite/gcc.c-torture/execute/20070424-1.c
@@ -0,0 +1,27 @@
+extern void abort (void);
+extern void exit (int);
+
+void do_exit (void) { exit (0); }
+void do_abort (void) { abort (); }
+
+void foo (int x, int a)
+{
+  if (x < a)
+    goto doit;
+  do_exit ();
+  if (x != a)
+    goto doit;
+
+  /* else */
+  do_abort ();
+  return;
+
+doit:
+  do_abort ();
+}
+
+int main()
+{
+  foo (1, 0);
+  return 0;
+}