gcc/testsuite/gnat.dg/modular4.adb

   1 -- { dg-do compile }
   2 -- { dg-options "-O" }
   3
   4 with Modular4_Pkg; use Modular4_Pkg;
   5
   6 procedure Modular4 is
   7 begin
   8   for I in Zero .. F mod 8 loop
   9     raise Program_Error;
  10   end loop;
  11 end;