Mercurial > hg > CbC > CbC_gcc
view gcc/testsuite/gnat.dg/iter3.adb @ 144:8f4e72ab4e11
fix segmentation fault caused by nothing next cur_op to end
author | Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> |
---|---|
date | Sun, 23 Dec 2018 21:23:56 +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;