1-- { dg-do compile }
2-- { dg-options "-O3" }
3
4package 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
15end Opt56;
16