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

 --  { dg-do run }
 --  { dg-options "-gnatE -gnatn" }

 with Elab7_Pkg1;

 procedure Elab7 is
 begin
    null;
 end Elab7;
	-- { dg-do run }
	-- { dg-options "-gnatE -gnatn" }

	with Elab7_Pkg1;

	procedure Elab7 is
	begin
	null;
	end Elab7;