gcc/testsuite/gnat.dg/aliasing1.ads

   1 package Aliasing1 is
   2
   3   type Rec is record
   4     I : Integer;
   5   end record;
   6
   7   type Ptr is access all Integer;
   8
   9   R : Rec;
  10
  11   function F (P : Ptr) return Integer;
  12
  13 end Aliasing1;