diff options
| author | Aldy Hernandez <aldyh@redhat.com> | 2018-08-24 18:37:51 +0000 |
|---|---|---|
| committer | Aldy Hernandez <aldyh@gcc.gnu.org> | 2018-08-24 18:37:51 +0000 |
| commit | e5a3f08fb899af4efef8d273d9aea556406ebd27 (patch) | |
| tree | 8768c6a701523800f7f223a2cf000c2f9be31b3d /gcc/tree-vrp.h | |
| parent | 6eac0600c4305074b28c96d17f75ed0de5016f5b (diff) | |
| download | gcc-e5a3f08fb899af4efef8d273d9aea556406ebd27.zip gcc-e5a3f08fb899af4efef8d273d9aea556406ebd27.tar.gz gcc-e5a3f08fb899af4efef8d273d9aea556406ebd27.tar.bz2 | |
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
Diffstat (limited to 'gcc/tree-vrp.h')
| -rw-r--r-- | gcc/tree-vrp.h | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/gcc/tree-vrp.h b/gcc/tree-vrp.h index 0c1fb36..f8c1c0c 100644 --- a/gcc/tree-vrp.h +++ b/gcc/tree-vrp.h @@ -86,7 +86,7 @@ extern void register_edge_assert_for (tree, edge, enum tree_code, tree, tree, vec<assert_info> &); extern bool stmt_interesting_for_vrp (gimple *); extern void set_value_range_to_varying (value_range *); -extern int range_includes_zero_p (tree, tree); +extern bool range_includes_zero_p (const value_range *); extern bool infer_value_range (gimple *, tree, tree_code *, tree *); extern void set_value_range_to_nonnull (value_range *, tree); @@ -96,7 +96,6 @@ extern void set_and_canonicalize_value_range (value_range *, enum value_range_type, tree, tree, bitmap); extern bool vrp_bitmap_equal_p (const_bitmap, const_bitmap); -extern bool range_is_nonnull (value_range *); extern tree value_range_constant_singleton (value_range *); extern bool symbolic_range_p (value_range *); extern int compare_values (tree, tree); |