gcc/testsuite/gnat.dg/opt56.adb

   1 -- { dg-do compile }
   2 -- { dg-options "-O3" }
   3
   4 package body Opt56 is
   5
   6    function F (Values : Vector) return Boolean is
   7       Result : Boolean := True;
   8    begin
   9       for I in Values'Range loop
  10          Result := Result and Values (I) >= 0.0;
  11      end loop;
  12      return Result;
  13    end;
  14
  15 end Opt56;