gcc/testsuite/gnat.dg/access1.adb

   1 -- { dg-do compile }
   2
   3 procedure 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;
  18 begin
  19    PP := Objet.p'access;
  20    PP.all;
  21    It.Ptr.all;
  22 end;