summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/prot1.adb
blob: 7a98f9dcc285f588a1979b39314dfdafe78fab19 (plain)
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;