gcc/testsuite/gnat.dg/pointer_protected.adb

   1 -- { dg-do compile }
   2
   3 with pointer_protected_p;
   4
   5 procedure pointer_protected is
   6    Pointer : pointer_protected_p.Ptr := null;
   7    Data    : pointer_protected_p.T;
   8 begin
   9    Pointer.all (Data);
  10 end pointer_protected;