1 files changed, 28 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/tree-ssa/pr54211.c b/gcc/testsuite/gcc.dg/tree-ssa/pr54211.c
new file mode 100644
index 00000000000..c8a1591b0a9
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/tree-ssa/pr54211.c
@@ -0,0 +1,28 @@
+/* { dg-do compile } */
+/* { dg-options "-Os" } */
+
+int a, b;
+unsigned char e;
+void fn1 ()
+{
+    unsigned char *c=0;
+    for (;; a++)
+    {
+        unsigned char d = *(c + b);
+        for (; &e<&d; c++)
+            goto Found_Top;
+    }
+Found_Top:
+    if (0)
+        goto Empty_Bitmap;
+    for (;; a++)
+    {
+        unsigned char *e = c + b;
+        for (; c < e; c++)
+            goto Found_Bottom;
+        c -= b;
+    }
+Found_Bottom:
+Empty_Bitmap:
+    ;
+}