Require target lra in gcc.dg/pr108095.c
[official-gcc.git] / gcc / testsuite / gnat.dg / loop_invariant1.ads
blob5c19a92160304bfacaec74fe884708e4bb7b660b
1 package Loop_Invariant1 is
3 type Arr is array (Natural range <>) of Integer;
5 procedure Proc (A : Arr; N : Integer);
7 end Loop_Invariant1;