diff options
| author | Richard Guenther <rguenther@suse.de> | 2010-05-08 13:12:56 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2010-05-08 13:12:56 +0000 |
| commit | 43896afb8b4c2f7836ea4a02cdf930bf72c468ff (patch) | |
| tree | 88174d0fb4861e8b266c6b7788ef7dced0efef72 /gcc/tree-ssa-pre.c | |
| parent | f56000ede5802f86b8ab00443090eb6ec3488773 (diff) | |
| download | gcc-43896afb8b4c2f7836ea4a02cdf930bf72c468ff.zip gcc-43896afb8b4c2f7836ea4a02cdf930bf72c468ff.tar.gz gcc-43896afb8b4c2f7836ea4a02cdf930bf72c468ff.tar.bz2 | |
re PR tree-optimization/44030 (error: SSA name in freelist but still referenced)
2010-05-08 Richard Guenther <rguenther@suse.de>
PR tree-optimization/44030
* tree-ssa-pre.c (eliminate): Copy NECESSARY flag. Set
NECESSARY flag if we propagate from a inserted expression.
* gcc.c-torture/compile/pr44030.c: New testcase.
From-SVN: r159186
Diffstat (limited to 'gcc/tree-ssa-pre.c')
| -rw-r--r-- | gcc/tree-ssa-pre.c | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/gcc/tree-ssa-pre.c b/gcc/tree-ssa-pre.c index 514383d..ac676cd 100644 --- a/gcc/tree-ssa-pre.c +++ b/gcc/tree-ssa-pre.c @@ -4351,6 +4351,7 @@ eliminate (void) sprime = fold_convert (TREE_TYPE (res), sprime); stmt = gimple_build_assign (res, sprime); SSA_NAME_DEF_STMT (res) = stmt; + gimple_set_plf (stmt, NECESSARY, gimple_plf (phi, NECESSARY)); gsi2 = gsi_after_labels (b); gsi_insert_before (&gsi2, stmt, GSI_NEW_STMT); @@ -4381,8 +4382,11 @@ eliminate (void) && single_imm_use (lhs, &use_p, &use_stmt) && may_propagate_copy (USE_FROM_PTR (use_p), rhs)) { - SET_USE (use_p, gimple_assign_rhs1 (stmt)); + SET_USE (use_p, rhs); update_stmt (use_stmt); + if (bitmap_bit_p (inserted_exprs, SSA_NAME_VERSION (lhs)) + && TREE_CODE (rhs) == SSA_NAME) + gimple_set_plf (SSA_NAME_DEF_STMT (rhs), NECESSARY, true); } /* If this is a store or a now unused copy, remove it. */ |