Mercurial > hg > CbC > CbC_gcc
view gcc/testsuite/gnat.dg/discr44.adb @ 145:1830386684a0
gcc-9.2.0
author | anatofuz |
---|---|
date | Thu, 13 Feb 2020 11:34:05 +0900 |
parents | 04ced10e8804 |
children |
line wrap: on
line source
-- { dg-do run } -- { dg-options "-gnatws" } procedure Discr44 is function Ident (I : Integer) return Integer is begin return I; end; type Int is range 1 .. 10; type Str is array (Int range <>) of Character; type Parent (D1, D2 : Int; B : Boolean) is record S : Str (D1 .. D2); end record; type Derived (D : Int) is new Parent (D1 => D, D2 => D, B => False); X1 : Derived (D => Int (Ident (7))); begin if X1.D /= 7 then raise Program_Error; end if; end;