testsuite/gnat.dg/loop_invariant1.ads

package Loop_Invariant1 is

   type Arr is array (Natural range <>) of Integer;

   procedure Proc (A : Arr; N : Integer);

end Loop_Invariant1;