Sign in
gnu
/
gcc
/
d769c5040874bf9546f2524f3f1d2a894165f92a
/
.
/
gcc
/
testsuite
/
gnat.dg
/
lto15.ads
blob: 297ea0c58e07245a7b6bda53206838b8ce7ec28d [
file
] [
log
] [
blame
]
package
Lto15
is
type
Arr
is
array
(
Positive
range
<>)
of
Integer
;
type R
(
Size
:
Positive
)
is
record
Data
:
Arr
(
1
..
Size
);
end
record
;
function
Proc
(
Data
:
Arr
)
return
R
;
end
Lto15
;