1-- { dg-do compile }
2-- { dg-options "-g" }
3
4procedure Addr4 is
5   function F return String is begin return ""; end F;
6   S1 : String renames F;
7   subtype ST is String (1 .. S1'Length);
8   S2 : ST;
9   for S2'Address use S1'Address;
10begin
11   null;
12end;
13