diff options
| -rw-r--r-- | gcc/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/tree-vrp.c | 7 |
2 files changed, 6 insertions, 6 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 8099176..608c620 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2018-09-11 Aldy Hernandez <aldyh@redhat.com> + + * tree-vrp (extract_range_from_binary_expr_1): Treat all divisions + by zero as VR_UNDEFINED. + 2018-09-10 Uros Bizjak <ubizjak@gmail.com> * config/i386/i386.md (<sincos>xf2): Rename from *<sincos>xf2_i387. 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; } |