blob: 9566f51c86bb26b5e44e71b059296ee29af04ccf (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
-- { 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;
|
