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

 --  { dg-do compile }
 --  { dg-options "-gnata" }

 package body Predicate7 is
    procedure Foo is null;
 end;
	-- { dg-do compile }
	-- { dg-options "-gnata" }

	package body Predicate7 is
	procedure Foo is null;
	end;