This is the mail archive of the mailing list for the GCC project.

Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

[patch] tree-vrp.c: Remove ssa_name_nonzero_p.


Attached is a patch to remove ssa_name_nonzero_p.

AFAICT, this function has been unused since gimple-tuples-branch was
merged into mainline at Revision 138207.

Bootstrapped on x86_64-pc-linux-gnu.  OK to apply?

Kazu Hirata

2009-04-17  Kazu Hirata  <>

	* tree-vrp.c (ssa_name_nonzero_p): Remove.
	* tree.h: Remove the prototype for ssa_name_nonzero_p.

Index: gcc/tree-vrp.c
--- gcc/tree-vrp.c	(revision 146215)
+++ gcc/tree-vrp.c	(working copy)
@@ -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.  */
-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.  */
Index: gcc/tree.h
--- gcc/tree.h	(revision 146215)
+++ gcc/tree.h	(working copy)
@@ -5201,7 +5201,6 @@ extern tree tree_mem_ref_addr (tree, tre
 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.  */

Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]