1-- { dg-do compile } 2 3procedure access1 is 4 protected Objet is 5 procedure p; 6 end Objet; 7 protected body Objet is 8 procedure p is 9 begin 10 null; 11 end p; 12 end Objet; 13 type wrapper is record 14 Ptr : access protected procedure := Objet.p'access; 15 end record; 16 It : wrapper; 17 PP : access protected procedure; 18begin 19 PP := Objet.p'access; 20 PP.all; 21 It.Ptr.all; 22end; 23