gcc/testsuite/gnat.dg/addr4.adb

   1 -- { dg-do compile }
   2 -- { dg-options "-g" }
   3
   4 procedure 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;
  10 begin
  11    null;
  12 end;