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
This commit is contained in:
parent
aa424b01a1
commit
1eefab17a5
3 changed files with 5 additions and 23 deletions
|
@ -1,3 +1,8 @@
|
|||
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.
|
||||
|
|
|
@ -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. */
|
||||
|
|
|
@ -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. */
|
||||
|
|
Loading…
Add table
Reference in a new issue