1-- { dg-do compile }
2
3package body Addr7 is
4
5   procedure Proc (B: aliased Bytes) is
6      O: Integer;
7      for O'Address use B'Address;
8   begin
9      null;
10   end;
11
12end Addr7;
13