r176563 - in /trunk/gcc: ChangeLog fold-const.c...

[ktietz at gcc dot gnu dot org]

Author: ktietz
Date: Thu Jul 21 12:11:28 2011
New Revision: 176563

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=176563
Log:
ChangeLog gcc/

2011-07-21  Kai Tietz  <ktietz@redhat.com>

	* fold-const.c (fold_unary_loc): Preserve indirect
	comparison cast to none-boolean type.
	* tree-ssa.c (useless_type_conversion_p): Preserve cast
	from/to boolean-type.
	* gimplify.c (gimple_boolify): Handle boolification
	of comparisons.
	(gimplify_expr): Boolifiy non aggregate-typed
	comparisons.
	* tree-cfg.c (verify_gimple_comparison): Check result
	type of comparison expression.
	* tree-ssa-forwprop.c (forward_propagate_comparison):
	Adjust test of condition result and disallow type-cast
	sinking into comparison.

ChangeLog gcc/testsuite

2011-07-21  Kai Tietz  <ktietz@redhat.com>

	* gcc.dg/tree-ssa/pr30978.c: adjusted.
	* gcc.dg/tree-ssa/ssa-fre-6.c: Likewise.
	* gcc.dg/binop-xor1.c: Set to fail.
	* gcc.dg/binop-xor3.c: Set to fail.


Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/fold-const.c
    trunk/gcc/gimplify.c
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/gcc.dg/binop-xor1.c
    trunk/gcc/testsuite/gcc.dg/binop-xor3.c
    trunk/gcc/testsuite/gcc.dg/tree-ssa/pr30978.c
    trunk/gcc/testsuite/gcc.dg/tree-ssa/ssa-fre-6.c
    trunk/gcc/tree-cfg.c
    trunk/gcc/tree-ssa-forwprop.c
    trunk/gcc/tree-ssa.c