Sign in
gnu
/
gcc
/
refs/tags/basepoints/gcc-13
/
.
/
gcc
/
testsuite
/
gnat.dg
/
loop_optimization10_pkg.ads
blob: 6fce4df8a3e751731c016659b82a5c8b5c791b3d [
file
] [
log
] [
blame
]
package
Loop_Optimization10_Pkg
is
pragma
Pure
(
Loop_Optimization10_Pkg
);
type
Limit_Type
is
record
Low
:
Float
;
High
:
Float
;
end
record
;
function
F
(
Low
,
High
:
in
Float
)
return
Limit_Type
;
end
Loop_Optimization10_Pkg
;