Mercurial > hg > CbC > CbC_gcc
view gcc/testsuite/gnat.dg/deferred_const4_pkg.ads @ 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
generic type User_T is private; package Deferred_Const4_Pkg is type T is private; Null_T : constant T; private type T (Valid : Boolean := False) is record case Valid is when True => Value : User_T; when False => null; end case; end record; Null_T : constant T := (Valid => False); end Deferred_Const4_Pkg;