Mercurial > hg > CbC > CbC_gcc
view gcc/testsuite/gnat.dg/discr_range_check.adb @ 138:fc828634a951
merge
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Thu, 08 Nov 2018 14:17:14 +0900 |
parents | 04ced10e8804 |
children |
line wrap: on
line source
-- { dg-do compile } -- { dg-options "-gnatws" } procedure discr_range_check is Default_First_Entry : constant := 1; task type Server_T (First_Entry : Positive := Default_First_Entry) is entry E (First_Entry .. First_Entry); end Server_T; task body Server_T is begin null; end; type Server_Access is access Server_T; Server : Server_Access; begin Server := new Server_T; end;