1 files changed, 14 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/invariant_index.adb b/gcc/testsuite/gnat.dg/invariant_index.adb
new file mode 100644
index 000000000..69ad47ac1
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/invariant_index.adb
@@ -0,0 +1,14 @@
+-- { dg-do compile }
+-- { dg-options "-O -gnatp" }
+
+package body Invariant_Index is
+
+   procedure Proc (S : String) is
+      N : constant Integer := S'Length;
+   begin
+      Name_Buffer (1 + N .. Name_Len + N) := Name_Buffer (1 .. Name_Len);
+      Name_Buffer (1 .. N) := S;
+      Name_Len := Name_Len + N;
+   end;
+
+end Invariant_Index;