gcc/testsuite/gnat.dg/prot1.adb

   1 -- { dg-do compile }
   2
   3 procedure Prot1 is
   4    protected type Prot is
   5       procedure Change (x : integer);
   6    private
   7       Flag : Boolean;
   8    end Prot;
   9    type Handle is access protected procedure (X : Integer);
  10    procedure Manage (Ptr : Handle) is
  11    begin
  12       null;
  13    end;
  14
  15    protected body prot is
  16       procedure Change (x : integer) is begin null; end;
  17    end;
  18
  19    Sema : Prot;
  20 begin
  21    Manage (Sema.Change'Unrestricted_Access);
  22 end;