Mercurial > hg > CbC > CbC_gcc
view gcc/testsuite/gnat.dg/iter3.adb @ 140:4e440907fcbf
copy CbC goto flang in cfgexpand
remove some CbC unnecessary code
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Wed, 14 Nov 2018 00:24:45 +0900 |
parents | 84e7813d76e9 |
children |
line wrap: on
line source
-- { dg-do compile } -- { dg-options "-gnata" } procedure Iter3 is type Mod64 is mod 2 ** 64; function F (X : Mod64) return Boolean is (X /= Mod64'Last); begin pragma Assert (for all X in Mod64 => F(X)); pragma Assert (for all X in Mod64'Range => F(X)); for X in Mod64'Range loop null; end loop; end;