gcc/testsuite/gnat.dg/discr54.adb - gcc - Git at Google

 --  { dg-do compile }

 with Discr54_Pkg;
 pragma Unreferenced (Discr54_Pkg);

 procedure Discr54 is
 begin
    null;
 end Discr54;
	-- { dg-do compile }

	with Discr54_Pkg;
	pragma Unreferenced (Discr54_Pkg);

	procedure Discr54 is
	begin
	null;
	end Discr54;