tree-optimization/125153 - testcase for fixed PR

The following adds a testcase for the PR which was fixed by
reversion of r16-303.

	PR tree-optimization/125153
	* gcc.dg/torture/pr125153.c: New testcase.

diff --git a/gcc/testsuite/gcc.dg/torture/pr125153.c b/gcc/testsuite/gcc.dg/torture/pr125153.c
new file mode 100644 (file)
index 0000000..484dc18
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/torture/pr125153.c
@@ -0,0 +1,25 @@
+/* { dg-do run } */
+
+int a, b, c;
+_Bool d, e;
+
+void
+foo (void)
+{
+  if (d)
+    {
+    l: b = -1;
+    }
+  e = c <= b;
+  a = a - 7;
+  if (e)
+    goto l;
+}
+
+int
+main ()
+{
+  foo ();
+  if (a != -14)
+    __builtin_abort ();
+}