Mercurial > hg > CbC > CbC_gcc
view gcc/testsuite/gnat.dg/iter3.adb @ 131:84e7813d76e9
gcc-8.2
author | mir3636 |
---|---|
date | Thu, 25 Oct 2018 07:37:49 +0900 |
parents | |
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;