aboutsummaryrefslogtreecommitdiff
path: root/gcc/tree-vrp.c
diff options
context:
space:
mode:
authorKazu Hirata <kazu@codesourcery.com>2009-04-18 11:49:20 +0000
committerKazu Hirata <kazu@gcc.gnu.org>2009-04-18 11:49:20 +0000
commit1eefab17a500e1978e50bdd05c565ed3c607f6b3 (patch)
treed246a7b828945b7dac415b209b3eb71dffc1593e /gcc/tree-vrp.c
parentaa424b01a1291050106737b4dded3de16da986b6 (diff)
downloadgcc-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.c22
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. */