2008-02-17 Richard Guenther <rguenther@suse.de>
authorrguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4>
Sun, 17 Feb 2008 14:00:48 +0000 (14:00 +0000)
committerrguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4>
Sun, 17 Feb 2008 14:00:48 +0000 (14:00 +0000)
commitd149d356890a9ef2a81f4f0708a8b46fb2656469
treeb460ac23b8786521d83cd102316a7ba02bde87cf
parenta3c40304c2151604138b38e2b482e6ab1cd5960d
2008-02-17  Richard Guenther  <rguenther@suse.de>

PR tree-optimization/35231
* tree-vrp.c (register_edge_assert_for): Do not assume A == 0
if A | B != 1.

* gcc.c-torture/execute/pr35231.c: New testcase.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@132378 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ChangeLog
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.c-torture/execute/pr35231.c [new file with mode: 0644]
gcc/tree-vrp.c