blob: 69ad47ac192a07046fdbfa82725aa8506fd60409 [file] [log] [blame]
-- { 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;