gcc/testsuite/gnat.dg/prot7.ads


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

package Prot7 is
   type Instance_Pointer is access Integer;

   protected Default_Slice
        with Lock_Free
   is
      function Get return Instance_Pointer;

      procedure Set (
        Discard : in out Boolean;
        Slice   : in     Instance_Pointer
      );
   private
      Default : Instance_Pointer;
   end Default_Slice;
end Prot7;