2 -- { dg-options "-O -gnatp" }
4 package body Invariant_Index is
6 procedure Proc (S : String) is
7 N : constant Integer := S'Length;
9 Name_Buffer (1 + N .. Name_Len + N) := Name_Buffer (1 .. Name_Len);
10 Name_Buffer (1 .. N) := S;
11 Name_Len := Name_Len + N;