gcc/testsuite/gnat.dg/opt79.adb

   1 -- { dg-do compile }
   2 -- { dg-options "-O" }
   3
   4 package body Opt79 is
   5
   6   function F (I : Integer) return Arr is
   7     A : Arr;
   8
   9     procedure Nested is
  10
  11       procedure Inner is
  12       begin
  13         A (1) := 0;
  14       end;
  15
  16     begin
  17        Inner;
  18     end;
  19
  20   begin
  21     Nested;
  22     for J in A'Range loop
  23       A (J) := I;
  24     end loop;
  25     return A;
  26   end;
  27
  28 end Opt79;