gcc/testsuite/gnat.dg/predicate7_pkg.ads

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