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