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