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

   1 -- { dg-do compile }
   2
   3 package tag2 is
   4    type I is synchronized interface;
   5    type T1 is tagged;
   6    type T2 is tagged;
   7    type T3 is tagged;
   8    type T4 is tagged;
   9    type T5 is tagged;
  10    type T6 is tagged;
  11    protected type T1 is end T1; -- { dg-error "must be a tagged type" }
  12    task type T2;                -- { dg-error "must be a tagged type" }
  13    type T3 is null record;      -- { dg-error "must be a tagged type" }
  14    task type T4 is new I with end;
  15    protected type T5 is new I with end;
  16    type T6 is tagged null record;
  17 end tag2;