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

 -- { dg-do run }

 with Thunk1_Pkg1; use Thunk1_Pkg1;

 procedure Thunk1 is
   D: Derived;
 begin
   D.Op ("Message");
 end;
	-- { dg-do run }

	with Thunk1_Pkg1; use Thunk1_Pkg1;

	procedure Thunk1 is
	D: Derived;
	begin
	D.Op ("Message");
	end;