2010-05-01 Richard Guenther <rguenther@suse.de>
authorrguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4>
Sat, 1 May 2010 21:30:26 +0000 (21:30 +0000)
committerrguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4>
Sat, 1 May 2010 21:30:26 +0000 (21:30 +0000)
commitccab2921c9a8ee3cf711a2bc7f62b4963f943bc6
tree97f124b29810b764f35f68f70433b948f8558b80
parent15238db85a4b38dbef4b5d52190421bcbe6cd274
2010-05-01  Richard Guenther  <rguenther@suse.de>

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

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

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@158965 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ChangeLog
gcc/testsuite/ChangeLog
gcc/testsuite/g++.dg/warn/Warray-bounds-5.C [new file with mode: 0644]
gcc/tree-vrp.c