Change x mod 0 to produce UNDEFINED rather than VARYING.
authorAndrew MacLeod <amacleod@redhat.com>
Mon, 26 Apr 2021 21:46:31 +0000 (17:46 -0400)
committerAndrew MacLeod <amacleod@redhat.com>
Fri, 7 May 2021 19:00:21 +0000 (15:00 -0400)
commit156054e873194004161dab2f8d43dbccc5cd8f36
tree68409346d78bbc7199a50e746de0a5c975e14a0f
parent1416a1434c43de0b93b313644f932ac024a94773
Change x mod 0 to produce UNDEFINED rather than VARYING.

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