gcc/testsuite/gnat.dg/specs/restricted_pkg.ads

   1 --  { dg-do compile }
   2 --  { dg-options "-gnatc" }
   3
   4 pragma Restrictions (No_Entry_Queue);
   5 package Restricted_Pkg is
   6    type Iface is limited interface;
   7    protected type PO is new Iface with
   8       procedure Dummy;
   9    end;
  10 end;