Sign in
gnu
/
gcc
/
a6d3012b274f38b20e2a57162106f625746af6c6
/
.
/
gcc
/
testsuite
/
gnat.dg
/
elim1.ads
blob: 7a7bd3588b481a6ad34be372a6e116a8389361a8 [
file
] [
log
] [
blame
]
pragma
Eliminate
(
p
,
d
);
package
elim1
is
type t
is
tagged
null
record
;
procedure d
(
a
:
t
);
end
;