23 lines
414 B
Ada
23 lines
414 B
Ada
-- { dg-do compile }
|
|
|
|
procedure access1 is
|
|
protected Objet is
|
|
procedure p;
|
|
end Objet;
|
|
protected body Objet is
|
|
procedure p is
|
|
begin
|
|
null;
|
|
end p;
|
|
end Objet;
|
|
type wrapper is record
|
|
Ptr : access protected procedure := Objet.p'access;
|
|
end record;
|
|
It : wrapper;
|
|
PP : access protected procedure;
|
|
begin
|
|
PP := Objet.p'access;
|
|
PP.all;
|
|
It.Ptr.all;
|
|
end;
|