gimple-ssa-evrp-analyze.c (set_ssa_range_info): Pass value_range to range_includes_ze...
authorAldy Hernandez <aldyh@redhat.com>
Fri, 24 Aug 2018 18:37:51 +0000 (18:37 +0000)
committerAldy Hernandez <aldyh@gcc.gnu.org>
Fri, 24 Aug 2018 18:37:51 +0000 (18:37 +0000)
commite5a3f08fb899af4efef8d273d9aea556406ebd27
tree8768c6a701523800f7f223a2cf000c2f9be31b3d
parent6eac0600c4305074b28c96d17f75ed0de5016f5b
gimple-ssa-evrp-analyze.c (set_ssa_range_info): Pass value_range to range_includes_zero_p.

* 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.

From-SVN: r263842
gcc/ChangeLog
gcc/gimple-ssa-evrp-analyze.c
gcc/tree-vrp.c
gcc/tree-vrp.h
gcc/vr-values.c