-- { dg-do compile }
-- { dg-options "-O3" }

package body Opt56 is

   function F (Values : Vector) return Boolean is
      Result : Boolean := True;
   begin
      for I in Values'Range loop
         Result := Result and Values (I) >= 0.0;
     end loop;
     return Result;
   end;

end Opt56;