gcc/testsuite/gnat.dg/aliasing2.ads

   1 package Aliasing2 is
   2
   3   type Arr is Array (1..4) of Integer;
   4   type Ptr is access all Integer;
   5
   6   A : Arr;
   7
   8   function F (P : Ptr) return Integer;
   9
  10 end Aliasing2;