Sign in
gnu
/
gcc
/
a6d3012b274f38b20e2a57162106f625746af6c6
/
.
/
gcc
/
testsuite
/
gnat.dg
/
inline4_pkg.adb
blob: cd01eda4f3340adaf0fd288ba3c1b9deac78338f [
file
] [
log
] [
blame
]
package
body
Inline4_Pkg
is
procedure
Test
(
I
:
Integer
)
is
function
F
(
J
:
Integer
)
return
Integer
is
begin
return
I
-
J
;
end
;
pragma
Inline_Always
(
F
);
begin
if
I
/=
F
(
I
)
then
raise
Program_Error
;
end
if
;
end
;
end
Inline4_Pkg
;