gcc/testsuite/gnat.dg/protected_self_ref2.adb

   1 --  { dg-do compile }
   2 procedure Protected_Self_Ref2 is
   3
   4    protected type P is
   5       procedure Foo;
   6    end P;
   7
   8    protected body P is
   9       procedure Foo is
  10          D : Integer;
  11       begin
  12          D := P'Digits;  -- { dg-error "denotes current instance" }
  13       end;
  14    end P;
  15
  16 begin
  17    null;
  18 end Protected_Self_Ref2;