Sign in
gnu
/
gcc
/
d769c5040874bf9546f2524f3f1d2a894165f92a
/
.
/
gcc
/
testsuite
/
gnat.dg
/
renaming10.adb
blob: 07d4312b060e71d7f52e889683ec2b05fc4f7e9b [
file
] [
log
] [
blame
]
--
{
dg
-
do
compile
}
package
body
Renaming10
is
function
F
(
Input
:
Rec
)
return
Natural
is
Position
:
Natural
renames
Input
.
Position
;
Index
:
Natural
renames
Natural
'Succ(Position);
begin
return Index;
end;
end Renaming10;