procyberian/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

re PR tree-optimization/22484 (ICE: verify_stmts failed with -O3)

Browse source 
2005-07-25  Andrew Pinski  <pinskia@physics.uc.edu>

        PR tree-opt/22484
        * tree-ssa-ccp.c (fold_stmt_inplace): Strip useless type conversions
        after fold.
        * tree-ssa-propagate.c (set_rhs): Reject invalid conditional operands.
2005-07-25  Andrew Pinski  <pinskia@physics.uc.edu>

        PR tree-opt/22484
        * testsuite/g++.dg/opt/loop2.C: New test.

From-SVN: r102369
This commit is contained in:
Andrew Pinski 2005-07-25 20:27:56 +00:00 • committed by Andrew Pinski
parent c72f711f8a
commit 43e364dd78
4 changed files with 15 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
gcc/ChangeLog
View file

@ -1,3 +1,10 @@
2005-07-25 Andrew Pinski <pinskia@physics.uc.edu>
PR tree-opt/22484
* tree-ssa-ccp.c (fold_stmt_inplace): Strip useless type conversions
after fold.
* tree-ssa-propagate.c (set_rhs): Reject invalid conditional operands.
2005-07-25 Andrew Pinski <pinskia@physics.uc.edu>
* tree-ssa-reassoc.c (reassociate_expr): Allow scaler floating point

5
gcc/testsuite/ChangeLog
View file

@ -1,3 +1,8 @@
2005-07-25 Andrew Pinski <pinskia@physics.uc.edu>
PR tree-opt/22484
* testsuite/g++.dg/opt/loop2.C: New test.
2005-07-25 Andrew Pinski <pinskia@physics.uc.edu>
* gcc.dg/tree-ssa/reassoc-3.c: New test.

1
gcc/tree-ssa-ccp.c
View file

@ -2335,6 +2335,7 @@ fold_stmt_inplace (tree stmt)
return changed;
new_rhs = fold (rhs);
STRIP_USELESS_TYPE_CONVERSION (new_rhs);
if (new_rhs == rhs)
return changed;

2
gcc/tree-ssa-propagate.c
View file

@ -604,6 +604,8 @@ set_rhs (tree *stmt_p, tree expr)
break;
case COND_EXPR:
if (!is_gimple_condexpr (expr))
return false;
COND_EXPR_COND (stmt) = expr;
break;
case SWITCH_EXPR: