-- { dg-do compile }procedure access2 is  Arr : array (1..10) of aliased Float;  type Acc is access all Float;  procedure Set (X : integer) is     Buffer: String (1..8);     for Buffer'address use Arr (4)'address;  begin     Arr (X) := 31.1415;  end;  function Get (C : Integer) return Acc is  begin     return Arr (C)'access;  end;begin   null;end;