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


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

package Aliasing3_Pkg is

  type Arr is array (1..3) of Integer;

  procedure Test (A : Arr);
  pragma Inline (Test);

  type My_Arr is new Arr;

  type Rec is record
    A : My_Arr;
  end record;

  type Ptr is access all Rec;

  Block : aliased Rec;
  Pointer : Ptr := Block'Access;

end Aliasing3_Pkg;