gcc/testsuite/gnat.dg/loop_optimization11.adb

   1 -- { dg-do compile }
   2 -- { dg-options "-O" }
   3
   4 with Loop_Optimization11_Pkg; use Loop_Optimization11_Pkg;
   5
   6 procedure Loop_Optimization11 is
   7    Arr : array (Prot, Mem) of Integer := (others => (others => 0));
   8 begin
   9    Put_Line (Img (0) & " ");
  10    for I in Arr'Range (1) loop
  11       for J in Arr'Range (2) loop
  12          declare
  13             Elem : Integer renames Arr (I, J);
  14          begin
  15             Put_Line (Img (Elem));
  16          end;
  17       end loop;
  18    end loop;
  19 end;