1 files changed, 17 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/hyper_flat.adb b/gcc/testsuite/gnat.dg/hyper_flat.adb
new file mode 100644
index 000000000..6842edbf5
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/hyper_flat.adb
@@ -0,0 +1,17 @@
+-- { dg-do run }
+-- { dg-options "-gnatp" }
+
+procedure Hyper_Flat is
+
+   type Unsigned is mod 2 ** 32;
+   x : Integer := 0;
+   pragma Volatile (X);
+
+   S : constant String := (1 .. X - 3 => 'A');
+   --  Hyper-flat null string
+
+begin
+   if Unsigned'(S'Length) /= 0 then
+      raise Program_Error;
+   end if;
+end;