gcc/testsuite/gnat.dg/lto5_pkg.ads - gcc - Git at Google

 pragma Eliminate (p, d);

 package Lto5_Pkg is
    type t is tagged null record;
    procedure d (a : t);
 end;
	pragma Eliminate (p, d);

	package Lto5_Pkg is
	type t is tagged null record;
	procedure d (a : t);
	end;