gcc/testsuite/gnat.dg/renaming11.ads

   1 package Renaming11 is
   2
   3    subtype Index_Type is Integer range 1..10;
   4
   5    type Arr is array (Index_Type range <>) of Integer;
   6
   7    type Rec (Min : Index_Type; Max : Index_Type) is record
   8       A : Arr (Min .. Max);
   9    end record;
  10
  11    type Ptr1 is access Rec;
  12
  13    type Ptr2 is access Ptr1;
  14
  15    type Ptr3 is access Ptr2;
  16
  17    function F (Arg : Ptr3) return Integer;
  18
  19 end Renaming11;