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

[Richard Guenther]

On Sat, Apr 18, 2009 at 3:14 AM, Kazu Hirata <kazu@codesourcery.com> wrote:
> Hi,
>
> 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?

Ok.

Thanks,
Richard.

> Kazu Hirata
>
> 2009-04-17  Kazu Hirata  <kazu@codesourcery.com>
>
>        * 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.  */
> -
> -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.  */
> 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.  */
>