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
;