summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/renaming9.ads
blob: ce6b4ed09247d87a3fa01f4f1f32e624f2dac3f8 (plain)
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;