gcc/testsuite/gnat.dg/invariant_index.adb

   1 -- { dg-do compile }
   2 -- { dg-options "-O -gnatp" }
   3
   4 package body Invariant_Index is
   5
   6    procedure Proc (S : String) is
   7       N : constant Integer := S'Length;
   8    begin
   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;
  12    end;
  13
  14 end Invariant_Index;