gcc/testsuite/gnat.dg/access1.adb


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

-- { 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;