]> git.ipfire.org Git - thirdparty/gcc.git/commit
* gimple-ssa-evrp-analyze.c (set_ssa_range_info): Pass value_range
authoraldyh <aldyh@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 24 Aug 2018 18:37:51 +0000 (18:37 +0000)
committeraldyh <aldyh@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 24 Aug 2018 18:37:51 +0000 (18:37 +0000)
commit6180f4cd3506fbaa6dd3d6ecf531c0620644f888
tree8768c6a701523800f7f223a2cf000c2f9be31b3d
parent7ddc0ac422f102641025e7377da553aa3dc19011
* gimple-ssa-evrp-analyze.c (set_ssa_range_info): Pass value_range
to range_includes_zero_p.  Do not special case VR_ANTI_RANGE.
* tree-vrp.c (range_is_nonnull): Remove.
(range_includes_zero_p): Accept value_range instead of min/max.
(extract_range_from_binary_expr_1): Do not early bail on
POINTER_PLUS_EXPR.
Use range_includes_zero_p instead of range_is_nonnull.
(extract_range_from_unary_expr): Use range_includes_zero_p instead
of range_is_nonnull.
(vrp_meet_1): Pass value_range to range_includes_zero_p.  Do not
special case VR_ANTI_RANGE.
(vrp_finalize): Same.
* tree-vrp.h (range_includes_zero_p): Pass value_range as argument
instead of min/max.
(range_is_nonnull): Remove.
* vr-values.c (vrp_stmt_computes_nonzero): Use
range_includes_zero_p instead of range_is_nonnull.
(extract_range_basic): Pass value_range to range_includes_zero_p
instead of range_is_nonnull.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@263842 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ChangeLog
gcc/gimple-ssa-evrp-analyze.c
gcc/tree-vrp.c
gcc/tree-vrp.h
gcc/vr-values.c