gcc/testsuite/gnat.dg/renaming11.adb

   1 -- { dg-do compile }
   2
   3 package body Renaming11 is
   4
   5    function F (Arg: Ptr3) return Integer is
   6       V : Ptr1 renames Arg.all.all;
   7       I : Integer renames V.A(1);
   8    begin
   9       return I;
  10    end;
  11
  12 end Renaming11;