1-- { dg-do compile }
2
3procedure access2 is
4  Arr : array (1..10) of aliased Float;
5  type Acc is access all Float;
6  procedure Set (X : integer) is
7     Buffer: String (1..8);
8     for Buffer'address use Arr (4)'address;
9  begin
10     Arr (X) := 31.1415;
11  end;
12  function Get (C : Integer) return Acc is
13  begin
14     return Arr (C)'access;
15  end;
16begin
17   null;
18end;
19