1 files changed, 22 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/torture/pr31115.c b/gcc/testsuite/gcc.dg/torture/pr31115.c
new file mode 100644
index 00000000000..1395a34b322
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/torture/pr31115.c
@@ -0,0 +1,22 @@
+/* { dg-do run } */
+
+extern void exit(int);
+extern void abort();
+void foo (int e1)
+{
+  if (e1 < 0)
+    {
+      e1 = -e1;
+      if (e1 >>= 4)
+        {
+          if (e1 >= 1 << 5)
+            exit(0);
+        }
+    }
+}
+
+int main()
+{
+  foo(-(1<<9));
+  abort();
+}