Mercurial > hg > CbC > CbC_gcc

view gcc/testsuite/gnat.dg/discr57.adb @ 158:494b0b89df80 default tip

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
...
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Mon, 25 May 2020 18:13:55 +0900
parents 1830386684a0
children
line wrap: on
line source

--  { dg-do compile }

procedure Discr57 is

   type T1(Scalar : Boolean) is abstract tagged null record;

   subtype S1 is T1 (Scalar => False);

   type T2(Lower_Bound : Natural) is new
     S1 with null record;

   Obj : constant T2 :=
       (Lower_Bound => 123);

begin
   null;
end Discr57;