diff options
| author | Aldy Hernandez <aldyh@redhat.com> | 2018-09-11 10:19:45 +0000 |
|---|---|---|
| committer | Aldy Hernandez <aldyh@gcc.gnu.org> | 2018-09-11 10:19:45 +0000 |
| commit | 075cdac363c06c1524732855eee852965737c5ec (patch) | |
| tree | 71da2c45e775bd2fab12dab628317b6cb868e22d /gcc/tree-vrp.c | |
| parent | a93a92aa53ba78a9d00468b2ec4571a098109a92 (diff) | |
| download | gcc-075cdac363c06c1524732855eee852965737c5ec.zip gcc-075cdac363c06c1524732855eee852965737c5ec.tar.gz gcc-075cdac363c06c1524732855eee852965737c5ec.tar.bz2 | |
tree-vrp (extract_range_from_binary_expr_1): Treat all divisions by zero as VR_UNDEFINED.
* tree-vrp (extract_range_from_binary_expr_1): Treat all divisions
by zero as VR_UNDEFINED.
From-SVN: r264203
Diffstat (limited to 'gcc/tree-vrp.c')
| -rw-r--r-- | gcc/tree-vrp.c | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c index 8f16713..a82cf3e 100644 --- a/gcc/tree-vrp.c +++ b/gcc/tree-vrp.c @@ -1601,12 +1601,7 @@ extract_range_from_binary_expr_1 (value_range *vr, /* Special case explicit division by zero as undefined. */ if (range_is_null (&vr1)) { - /* However, we must not eliminate a division by zero if - flag_non_call_exceptions. */ - if (cfun->can_throw_non_call_exceptions) - set_value_range_to_varying (vr); - else - set_value_range_to_undefined (vr); + set_value_range_to_undefined (vr); return; } |