tree-vrp.h (value_range_base::nonzero_p): New.
authorAldy Hernandez <aldyh@redhat.com>
Mon, 3 Jun 2019 11:28:28 +0000 (11:28 +0000)
committerAldy Hernandez <aldyh@gcc.gnu.org>
Mon, 3 Jun 2019 11:28:28 +0000 (11:28 +0000)
commitf2b00d2ba461d6dafdeccf6d93828b349b5e7f76
tree207b3e75858642d677836e0e269fe0285e6eead6
parent49f3f450046a63b5de61be28eb6023d86e0c950e
tree-vrp.h (value_range_base::nonzero_p): New.

* tree-vrp.h (value_range_base::nonzero_p): New.
(value_range_base::set_nonnull): Rename to...
(value_range_base::set_nonzero): ...this.
(value_range_base::set_null): Rename to...
(value_range_base::set_zero): ...this.
(value_range::set_nonnull): Remove.
(value_range::set_null): Remove.
* tree-vrp.c (range_is_null): Remove.
(range_is_nonnull): Remove.
(extract_range_from_binary_expr): Use value_range_base::*zero_p
instead of range_is_*null.
(extract_range_from_unary_expr): Same.
(value_range_base::set_nonnull): Rename to...
(value_range_base::set_nonzero): ...this.
(value_range::set_nonnull): Remove.
(value_range_base::set_null): Rename to...
(value_range_base::set_zero): ...this.
(value_range::set_null): Remove.
(extract_range_from_binary_expr): Rename set_*null uses to
set_*zero.
(extract_range_from_unary_expr): Same.
(union_helper): Same.
* vr-values.c (get_value_range): Use set_*zero instead of
set_*null.
(vr_values::extract_range_from_binary_expr): Same.
(vr_values::extract_range_basic): Same.

From-SVN: r271865
gcc/ChangeLog
gcc/tree-vrp.c
gcc/tree-vrp.h
gcc/vr-values.c