r177423 - in /trunk/gcc: ChangeLog testsuite/Ch...

[rguenth@gcc.gnu.org]

Author: rguenth
Date: Fri Aug  5 07:33:09 2011
New Revision: 177423

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

	* tree-vrp.c (zero_nonzero_bits_from_vr): Make sure to always
	return true for constant integer ranges.
	(extract_range_from_binary_expr_1): Simplify BIT_AND_EXPR and
	BIT_IOR_EXPR handling.

	* gcc.dg/tree-ssa/vrp51.c: Disable CCP.
	* gcc.dg/tree-ssa/vrp52.c: Likewise.
	* gcc.dg/tree-ssa/vrp53.c: Likewise.

Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/gcc.dg/tree-ssa/vrp51.c
    trunk/gcc/testsuite/gcc.dg/tree-ssa/vrp52.c
    trunk/gcc/testsuite/gcc.dg/tree-ssa/vrp53.c
    trunk/gcc/tree-vrp.c