gcc-4.9/gcc/testsuite/gnat.dg/invariant_index.ads


1
2
3
4
5
6
7
8

package Invariant_Index is

   Name_Buffer : String (1 .. 100);
   Name_Len : Natural;

   procedure Proc (S : String);

end Invariant_Index;