Mercurial > hg > CbC > CbC_gcc
view gcc/testsuite/gnat.dg/discr4.adb @ 143:76e1cf5455ef
add cbc_gc test
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Sun, 23 Dec 2018 19:24:05 +0900 |
parents | 04ced10e8804 |
children |
line wrap: on
line source
-- { dg-do run } -- { dg-options "-gnatws" } procedure discr4 is package Pkg is type Rec_Comp (D : access Integer) is record Data : Integer; end record; -- type I is interface; procedure Test (Obj : I) is abstract; -- Num : aliased Integer := 10; -- type Root (D : access Integer) is tagged record C1 : Rec_Comp (D); -- test end record; -- type DT is new Root and I with null record; -- procedure Dummy (Obj : DT); procedure Test (Obj : DT); end; -- package body Pkg is procedure Dummy (Obj : DT) is begin raise Program_Error; end; -- procedure Test (Obj : DT) is begin null; end; end; -- use Pkg; -- procedure CW_Test (Obj : I'Class) is begin Obj.Test; end; -- Obj : DT (Num'Access); begin CW_Test (Obj); end;