gcc/testsuite/gnat.dg/predicate7_pkg.ads - gcc - Git at Google

 package Predicate7_Pkg is
   subtype My_Int is Integer with Dynamic_Predicate => My_Int /= 0;
 end Predicate7_Pkg;
	package Predicate7_Pkg is
	subtype My_Int is Integer with Dynamic_Predicate => My_Int /= 0;
	end Predicate7_Pkg;