gcc/testsuite/gnat.dg/prot7.ads

   1 package Prot7 is
   2    type Instance_Pointer is access Integer;
   3
   4    protected Default_Slice
   5         with Lock_Free
   6    is
   7       function Get return Instance_Pointer;
   8
   9       procedure Set (
  10         Discard : in out Boolean;
  11         Slice   : in     Instance_Pointer
  12       );
  13    private
  14       Default : Instance_Pointer;
  15    end Default_Slice;
  16 end Prot7;