Sign in
gnu
/
gcc
/
a8404c07e7fca388c02c39077865f7d5fa928430
/
.
/
gcc
/
testsuite
/
gnat.dg
/
opt93.ads
blob: 61bc2364464b56d774083bd9f3ade26c91801493 [
file
] [
log
] [
blame
]
package
Opt93
is
type
Arr
is
array
(
Natural
range
<>)
of
Short_Integer
;
type
Rec
(
D1
,
D2
:
Natural
)
is
record
S
:
String
(
1
..
D1
);
A
:
Arr
(
1
..
D2
);
end
record
;
type T
is
access
Rec
;
function
Contains_Zero
(
Obj
:
T
)
return
Boolean
;
end
Opt93
;