Mercurial > hg > CbC > CbC_gcc
view gcc/testsuite/gnat.dg/warn26.adb @ 158:494b0b89df80 default tip
...
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 Warn26 is Monitor_Period_Min : constant := 5; Monitor_Period_Max : constant := 30; type Monitor_Period is range Monitor_Period_Min .. Monitor_Period_Max; subtype Period_T is Positive range 5 .. 30; function Id (X : Period_T) return Period_T is (X); Input_Period : Period_T := Id (20); begin if Input_Period in Integer (Monitor_Period'First) .. Integer ( Monitor_Period'Last) then null; end if; end Warn26;