Sign in
gnu
/
gcc
/
refs/tags/basepoints/gcc-13
/
.
/
gcc
/
testsuite
/
gnat.dg
/
inline10.adb
blob: 084533009072d9a685400292f653f3f098e6858f [
file
] [
log
] [
blame
]
--
{
dg
-
do
compile
}
--
{
dg
-
options
"-O -gnatn -Winline"
}
with
Inline10_Pkg
;
use
Inline10_Pkg
;
procedure
Inline10
is
begin
Test
(
0
);
end
;