Change x mod 0 to produce UNDEFINED rather than VARYING.

	* range-op.cc (operator_trunc_mod::wi_fold): x % 0 is UNDEFINED.

diff --git a/gcc/range-op.cc b/gcc/range-op.cc
index 0027b3e..ab8f4e2 100644 (file)
--- a/gcc/range-op.cc
+++ b/gcc/range-op.cc
@@ -2689,7 +2689,7 @@ operator_trunc_mod::wi_fold (irange &r, tree type,
   // Mod 0 is undefined.
   if (wi_zero_p (type, rh_lb, rh_ub))
     {
-      r.set_varying (type);
+      r.set_undefined ();
       return;
     }