gcc-4.9/gcc/testsuite/gnat.dg/aliasing2.ads


1
2
3
4
5
6
7
8
9
10

package Aliasing2 is

  type Arr is Array (1..4) of Integer;
  type Ptr is access all Integer;

  A : Arr;

  function F (P : Ptr) return Integer;

end Aliasing2;