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.

From-SVN: r132378