* tree-vrp.c (abs_extent_range): Remove.
commitdcea420d552ef1585cd1cea16bb7baefb4d63b11
authoraldyh <aldyh@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 23 Aug 2018 13:25:36 +0000 (23 13:25 +0000)
committeraldyh <aldyh@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 23 Aug 2018 13:25:36 +0000 (23 13:25 +0000)
tree0ae9ff87faf8a472941922a6c3732b1148f5c74f
parent7d82e91b9dfa62b158841cb97999e12f07adc71a
* tree-vrp.c (abs_extent_range): Remove.
(extract_range_into_wide_ints): Pass wide ints by reference.
(extract_range_from_binary_expr_1): Rewrite the *DIV_EXPR code.
Pass wide ints by reference in all calls to
extract_range_into_wide_ints.
* wide-int-range.cc (wide_int_range_div): New.
* wide-int-range.h (wide_int_range_div): New.
(wide_int_range_includes_zero_p): New.
(wide_int_range_zero_p): New.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@263813 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ChangeLog
gcc/tree-vrp.c
gcc/wide-int-range.cc
gcc/wide-int-range.h