2009-03-09 Richard Guenther <rguenther@suse.de>
* tree.h (int_const_binop_1): Declare.
* fold-const.c (add_double_with_sign): Fix unsigned overflow
detection.
(int_const_binop_1): Export. Fix unsigned overflow detection.
* stor-layout.c (layout_type): Drop TREE_OVERFLOW on TYPE_SIZE
if appropriate.
* tree-vrp.c (integral_range_p): New helper.
(simplify_unary_for_nonwrapping): Likewise.
(simplify_binary_for_nonwrapping): Likewise.
(simplify_stmt_using_ranges): Call them.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/no-undefined-overflow@144722 138bc75d-0d04-0410-961f-82ee72b054a4