1 files changed, 33 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/tree-ssa/vrp27.c b/gcc/testsuite/gcc.dg/tree-ssa/vrp27.c
new file mode 100644
index 000000000..09b96f919
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/tree-ssa/vrp27.c
@@ -0,0 +1,33 @@
+/* PR middle-end/26361.  */
+/* { dg-do run } */
+/* { dg-options "-O2" } */
+
+void abort(void);
+
+__attribute__((noinline))
+void gen_rtx_CONST_INT(long long x) {
+    if (-x > 10)
+        abort();
+}
+__attribute__((noinline))
+int alpha_expand_prologue(long frame_size)
+{
+    unsigned long long a;
+    int probed;
+    if (frame_size <= 1)  return;
+    unsigned long long b = -2;
+    a = -2;
+    do {
+        int a1 = a;
+        probed = -a1;
+        gen_rtx_CONST_INT (a1);
+        a -= 2;
+        a1 = -a;
+        probed = a1;
+    } while (probed < frame_size);
+}
+
+int main(void) {
+    alpha_expand_prologue(10);
+    return 0;
+}