ChangeLog gcc/
authorKai Tietz <ktietz@redhat.com>
Thu, 21 Jul 2011 12:11:28 +0000 (14:11 +0200)
committerKai Tietz <ktietz@gcc.gnu.org>
Thu, 21 Jul 2011 12:11:28 +0000 (14:11 +0200)
commit7f3ff782991c13d787b67918e965c8a1dd620935
tree3fcf31bae07e5780a558bd87b46dde066bfb218e
parent0c53708eadd727f4089028e09840865db25a3cd9
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.

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