OSDN Git Service

2008-03-28 Rafael Espindola <espindola@google.com>
authorespindola <espindola@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 28 Mar 2008 13:15:00 +0000 (13:15 +0000)
committerespindola <espindola@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 28 Mar 2008 13:15:00 +0000 (13:15 +0000)
commit93116081c61535ca4dc5cb6ceb37971004446a33
treefa5450ccea2db5d27ae7d3c89e75865a446bf5d8
parentbed8bec41ad28208de1bbd9169e7d0e7e1b82133
2008-03-28  Rafael Espindola  <espindola@google.com>

* fold-const.c (tree_unary_nonnegative_warnv_p): Make it public.
(tree_binary_nonnegative_warnv_p): Make it public.
(tree_single_nonnegative_warnv_p): Make it public.
(tree_invalid_nonnegative_warnv_p): Make it public.
(tree_unary_nonzero_warnv_p): Make it public.
(tree_binary_nonzero_warnv_p): Make it public
(tree_single_nonzero_warnv_p): Make it public.
* tree-vrp.c (vrp_evaluate_conditional_warnv_with_ops): New function.
(extract_range_from_binary_expr): Split the expr argument.
(extract_range_from_unary_expr): Split the expr argument.
(extract_range_from_comparison): Split the expr argument.
(extract_range_from_expr): Use the new aux functions.
(vrp_evaluate_conditional_warnv): Use
vrp_evaluate_conditional_warnv_with_ops.
* tree.h (tree_unary_nonzero_warnv_p): Declare.
(tree_binary_nonzero_warnv_p): Declare.
(tree_single_nonzero_warnv_p): Declare.
(tree_expr_nonzero_warnv_p): Declare.
(tree_unary_nonnegative_warnv_p): Declare.
(tree_binary_nonnegative_warnv_p): Declare.
(tree_single_nonnegative_warnv_p): Declare.
(tree_invalid_nonnegative_warnv_p): Declare.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@133681 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ChangeLog
gcc/fold-const.c
gcc/tree-vrp.c
gcc/tree.h