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


1
2
3
4
5
6
7
8
9
10
11
12
13

package Aliasing1 is

  type Rec is record
    I : Integer;
  end record;

  type Ptr is access all Integer;

  R : Rec;

  function F (P : Ptr) return Integer;

end Aliasing1;