gcc/testsuite/gnat.dg/loop_optimization16.adb

   1 -- { dg-do run }
   2
   3 with Loop_Optimization16_Pkg; use Loop_Optimization16_Pkg;
   4
   5 procedure Loop_Optimization16 is
   6
   7    Counter : Natural := 0;
   8
   9    C : constant Natural := F;
  10
  11    subtype Index_T is Index_Base range 1 .. Index_Base (C);
  12
  13 begin
  14
  15    for I in Index_T'First .. Index_T'Last loop
  16       Counter := Counter + 1;
  17       exit when Counter > 200;
  18    end loop;
  19
  20    if Counter > 200 then
  21       raise Program_Error;
  22    end if;
  23
  24 end Loop_Optimization16;