Mercurial > hg > CbC > CbC_gcc
view gcc/testsuite/gnat.dg/ghost3.ads @ 152:2b5abeee2509
update gcc11
author | anatofuz |
---|---|
date | Mon, 25 May 2020 07:50:57 +0900 |
parents | 1830386684a0 |
children |
line wrap: on
line source
package Ghost3 is type Small_Int is new Natural range 0 .. 5; type Large_Int is new Natural range 0 .. 5000; type Rec_Typ is record Comp_1 : Small_Int; Comp_2 : Large_Int; end record; generic type Any_Typ; package Gen is end Gen; package Freezer with Ghost is package Inst is new Gen (Rec_Typ); end Freezer; procedure Dummy; end Ghost3;