gcc/testsuite/gnat.dg/warn29.ads

package Warn29 is
   type T is tagged null record;
   procedure P (X : T; Y : Integer);
end Warn29;