The following adds a testcase for the PR which was fixed by
reversion of r16-303.
Tested on x86_64-unknown-linux-gnu, pushed.
PR tree-optimization/125153
* gcc.dg/torture/pr125153.c: New testcase.
---
gcc/testsuite/gcc.dg/torture/pr125153.c | 25 +++++++++++++++++++++++++
1 file changed, 25 insertions(+)
create mode 100644 gcc/testsuite/gcc.dg/torture/pr125153.c
diff --git a/gcc/testsuite/gcc.dg/torture/pr125153.c
b/gcc/testsuite/gcc.dg/torture/pr125153.c
new file mode 100644
index 00000000000..484dc189baf
--- /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 ();
+}
--
2.51.0
