gcc/testsuite/gnat.dg/aliasing3_pkg.ads

   1 package Aliasing3_Pkg is
   2
   3   type Arr is array (1..3) of Integer;
   4
   5   procedure Test (A : Arr);
   6   pragma Inline (Test);
   7
   8   type My_Arr is new Arr;
   9
  10   type Rec is record
  11     A : My_Arr;
  12   end record;
  13
  14   type Ptr is access all Rec;
  15
  16   Block : aliased Rec;
  17   Pointer : Ptr := Block'Access;
  18
  19 end Aliasing3_Pkg;