32 lines
437 B
Ada
32 lines
437 B
Ada
-- { dg-do compile }
|
|
|
|
procedure Discr_Test is
|
|
procedure P is begin null; end P;
|
|
|
|
task type Tsk1 is
|
|
entry rvT;
|
|
end Tsk1;
|
|
|
|
task body Tsk1 is
|
|
begin
|
|
accept rvT;
|
|
end Tsk1;
|
|
|
|
task type Tsk2 (pS : not null access procedure) is
|
|
entry rvT;
|
|
end Tsk2;
|
|
|
|
task body Tsk2 is
|
|
tskT : Tsk1;
|
|
begin
|
|
accept rvT do
|
|
requeue tskT.rvT;
|
|
end rvT;
|
|
pS.all;
|
|
end;
|
|
|
|
Obj : Tsk2 (P'access);
|
|
begin
|
|
Obj.rvT;
|
|
end;
|