diff options
| author | Richard Guenther <rguenther@suse.de> | 2007-11-27 15:00:37 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2007-11-27 15:00:37 +0000 |
| commit | 25b6dd9cde22f34790a17ada051b7b89cbcf1123 (patch) | |
| tree | cc1f0441b801657e05c602bbd03a41eaade69aec /gcc/tree-ssa-forwprop.c | |
| parent | cba04b96602e2a6dfbfe9b5d02d2794cd51800a6 (diff) | |
| download | gcc-25b6dd9cde22f34790a17ada051b7b89cbcf1123.zip gcc-25b6dd9cde22f34790a17ada051b7b89cbcf1123.tar.gz gcc-25b6dd9cde22f34790a17ada051b7b89cbcf1123.tar.bz2 | |
re PR middle-end/34241 (ICE in forward_propagate_into_cond)
2007-11-27 Richard Guenther <rguenther@suse.de>
PR tree-optimization/34241
* tree-ssa-forwprop.c (forward_propagate_addr_expr): Make sure
to only delete real conversion chains.
* g++.dg/torture/pr34241.C: New testcase.
From-SVN: r130468
Diffstat (limited to 'gcc/tree-ssa-forwprop.c')
| -rw-r--r-- | gcc/tree-ssa-forwprop.c | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/gcc/tree-ssa-forwprop.c b/gcc/tree-ssa-forwprop.c index 3e30454..f368c33 100644 --- a/gcc/tree-ssa-forwprop.c +++ b/gcc/tree-ssa-forwprop.c @@ -685,6 +685,7 @@ forward_propagate_addr_expr (tree name, tree rhs) FOR_EACH_IMM_USE_STMT (use_stmt, iter, name) { bool result; + tree use_rhs; /* If the use is not in a simple assignment statement, then there is nothing we can do. */ @@ -712,11 +713,13 @@ forward_propagate_addr_expr (tree name, tree rhs) pop_stmt_changes (&use_stmt); /* Remove intermediate now unused copy and conversion chains. */ + use_rhs = GIMPLE_STMT_OPERAND (use_stmt, 1); if (result && TREE_CODE (GIMPLE_STMT_OPERAND (use_stmt, 0)) == SSA_NAME - && (TREE_CODE (GIMPLE_STMT_OPERAND (use_stmt, 1)) == SSA_NAME - || TREE_CODE (GIMPLE_STMT_OPERAND (use_stmt, 1)) == NOP_EXPR - || TREE_CODE (GIMPLE_STMT_OPERAND (use_stmt, 1)) == CONVERT_EXPR)) + && (TREE_CODE (use_rhs) == SSA_NAME + || ((TREE_CODE (use_rhs) == NOP_EXPR + || TREE_CODE (use_rhs) == CONVERT_EXPR) + && TREE_CODE (TREE_OPERAND (use_rhs, 0)) == SSA_NAME))) { block_stmt_iterator bsi = bsi_for_stmt (use_stmt); release_defs (use_stmt); |