gcc/testsuite/gnat.dg/renaming9.ads


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

package Renaming9 is

  pragma Elaborate_Body;

  type Object is tagged null record;

  type Pointer is access all Object'Class;

  type Derived is new Object with record
     I : Integer;
  end record;

  Ptr : Pointer := new Derived;
  Obj : Derived renames Derived (Ptr.all);

end Renaming9;