Sign in
gnu
/
gcc
/
a8404c07e7fca388c02c39077865f7d5fa928430
/
.
/
gcc
/
testsuite
/
gnat.dg
/
protected_null.adb
blob: c58fa2b27f2d972eebaa2c052d07d44556555c22 [
file
] [
log
] [
blame
]
--
{
dg
-
do
compile
}
procedure
Proc
is
protected
Po
is
procedure P
is
null
;
--
{
dg
-
error
" protected operation cannot be a null procedure"
}
end
Po
;
protected
body
Po
is
procedure P
is
begin
null
;
end
P
;
end
Po
;
begin
null
;
end
;