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

3 files changed, 5 insertions, 23 deletions

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index fa02ee6..49608da 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,5 +1,10 @@
 2009-04-18  Kazu Hirata  <kazu@codesourcery.com>
 
+	* tree-vrp.c (ssa_name_nonzero_p): Remove.
+	* tree.h: Remove the prototype for ssa_name_nonzero_p.
+
+2009-04-18  Kazu Hirata  <kazu@codesourcery.com>
+
 	* tree.c (function_args_count): Remove.
 	* tree.h: Remove the prototype for function_args_count.
 
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.  */
diff --git a/gcc/tree.h b/gcc/tree.h
index 793dcf3..c5c855f 100644
--- a/gcc/tree.h
+++ b/gcc/tree.h
@@ -5199,7 +5199,6 @@ extern tree tree_mem_ref_addr (tree, tree);
 extern void copy_mem_ref_info (tree, tree);
 
 /* In tree-vrp.c */
-extern bool ssa_name_nonzero_p (const_tree);
 extern bool ssa_name_nonnegative_p (const_tree);
 
 /* In tree-object-size.c.  */