gcc/testsuite/gnat.dg/opt3.adb

   1 -- { dg-do compile }
   2 -- { dg-options "-O3" }
   3
   4 with Opt3_Pkg; use Opt3_Pkg;
   5
   6 procedure Opt3 is
   7   type Buffer_Type is array (Integer range <> ) of Short_Integer;
   8   B : Buffer_Type (1 .. 256) := (others => 0);
   9 begin
  10   F (B(1));
  11 end;