gcc/testsuite/gnat.dg/loop_optimization21.adb

   1 -- { dg-do compile }
   2 -- { dg-options "-O -fdump-tree-optimized" }
   3
   4 package body Loop_Optimization21 is
   5
   6   function Min (X : in Item_Vector) return Item is
   7     Tmp_Min : Item;
   8   begin
   9     Tmp_Min := X (X'First);
  10     for I in X'First + 1 .. X'Last loop
  11       if X (I) <= Tmp_Min then
  12         Tmp_Min := X (I);
  13       end if;
  14     end loop;
  15     return Tmp_Min;
  16   end Min;
  17
  18 end Loop_Optimization21;
  19
  20 -- { dg-final { scan-tree-dump-times "Index_Check" 1 "optimized" } }