diff options
author | Kazu Hirata <kazu@codesourcery.com> | 2009-04-18 11:49:20 +0000 |
---|---|---|
committer | Kazu Hirata <kazu@gcc.gnu.org> | 2009-04-18 11:49:20 +0000 |
commit | 1eefab17a500e1978e50bdd05c565ed3c607f6b3 (patch) | |
tree | d246a7b828945b7dac415b209b3eb71dffc1593e /gcc/tree-vrp.c | |
parent | aa424b01a1291050106737b4dded3de16da986b6 (diff) | |
download | gcc-1eefab17a500e1978e50bdd05c565ed3c607f6b3.zip gcc-1eefab17a500e1978e50bdd05c565ed3c607f6b3.tar.gz gcc-1eefab17a500e1978e50bdd05c565ed3c607f6b3.tar.bz2 |
tree-vrp.c (ssa_name_nonzero_p): Remove.
* tree-vrp.c (ssa_name_nonzero_p): Remove.
* tree.h: Remove the prototype for ssa_name_nonzero_p.
From-SVN: r146313
Diffstat (limited to 'gcc/tree-vrp.c')
-rw-r--r-- | gcc/tree-vrp.c | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c index a68eba6..e3d14b2 100644 --- a/gcc/tree-vrp.c +++ b/gcc/tree-vrp.c @@ -1368,28 +1368,6 @@ ssa_name_nonnegative_p (const_tree t) return false; } -/* Return true if T, an SSA_NAME, is known to be nonzero. Return - false otherwise or if no value range information is available. */ - -bool -ssa_name_nonzero_p (const_tree t) -{ - value_range_t *vr = get_value_range (t); - - if (!vr) - return false; - - /* A VR_RANGE which does not include zero is a nonzero value. */ - if (vr->type == VR_RANGE && !symbolic_range_p (vr)) - return ! range_includes_zero_p (vr); - - /* A VR_ANTI_RANGE which does include zero is a nonzero value. */ - if (vr->type == VR_ANTI_RANGE && !symbolic_range_p (vr)) - return range_includes_zero_p (vr); - - return false; -} - /* If OP has a value range with a single constant value return that, otherwise return NULL_TREE. This returns OP itself if OP is a constant. */ |