xref: /dports/lang/gcc11/gcc-11.2.0/gcc/testsuite/gnat.dg/invariant_index.ads

package Invariant_Index is

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

   procedure Proc (S : String);

end Invariant_Index;