diff options
| author | Andrew MacLeod <amacleod@redhat.com> | 2021-04-26 17:46:31 -0400 |
|---|---|---|
| committer | Andrew MacLeod <amacleod@redhat.com> | 2021-05-07 15:00:21 -0400 |
| commit | 156054e873194004161dab2f8d43dbccc5cd8f36 (patch) | |
| tree | 68409346d78bbc7199a50e746de0a5c975e14a0f /gcc | |
| parent | 1416a1434c43de0b93b313644f932ac024a94773 (diff) | |
| download | gcc-156054e873194004161dab2f8d43dbccc5cd8f36.zip gcc-156054e873194004161dab2f8d43dbccc5cd8f36.tar.gz gcc-156054e873194004161dab2f8d43dbccc5cd8f36.tar.bz2 | |
Change x mod 0 to produce UNDEFINED rather than VARYING.
* range-op.cc (operator_trunc_mod::wi_fold): x % 0 is UNDEFINED.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/range-op.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/range-op.cc b/gcc/range-op.cc index 0027b3e..ab8f4e2 100644 --- 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; } |