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

 -- { dg-do compile }

 pragma Optimize (Space); -- { dg-warning "must specify -Os" }

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

	pragma Optimize (Space); -- { dg-warning "must specify -Os" }

	procedure Warn8 is
	begin
	null;
	end;