r159656 - in /branches/gcc-4_5-branch/gcc: Chan...

[rguenth@gcc.gnu.org]

Author: rguenth
Date: Fri May 21 11:16:46 2010
New Revision: 159656

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=159656
Log:
2010-05-21  Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/43949
	* tree-vrp.c (ssa_name_nonnegative_p): Return true for unsigend
	types.
	(extract_range_from_binary_expr): Handle TRUNC_MOD_EXPR.

	* g++.dg/warn/Warray-bounds-5.C: New testcase.

Added:
    branches/gcc-4_5-branch/gcc/testsuite/g++.dg/warn/Warray-bounds-5.C
Modified:
    branches/gcc-4_5-branch/gcc/ChangeLog
    branches/gcc-4_5-branch/gcc/testsuite/ChangeLog
    branches/gcc-4_5-branch/gcc/tree-vrp.c