gcc/testsuite/gnat.dg/prot1.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 Prot1 is
   protected type Prot is
      procedure Change (x : integer);
   private
      Flag : Boolean;
   end Prot;
   type Handle is access protected procedure (X : Integer);
   procedure Manage (Ptr : Handle) is
   begin
      null;
   end;

   protected body prot is
      procedure Change (x : integer) is begin null; end;
   end;

   Sema : Prot;
begin
   Manage (Sema.Change'Unrestricted_Access);
end;