From 343c5d461c4f8659b1acc74a99ae78ac234b8ba7 Mon Sep 17 00:00:00 2001 From: Richard Guenther Date: Tue, 14 Aug 2012 09:32:06 +0000 Subject: [PATCH] tree-into-ssa.c (update_ssa): Verify we do not rename symbols that are already partly in SSA form. 2012-08-14 Richard Guenther * tree-into-ssa.c (update_ssa): Verify we do not rename symbols that are already partly in SSA form. From-SVN: r190377 --- gcc/ChangeLog | 5 +++++ gcc/tree-into-ssa.c | 24 ++++++++++++++++++++++++ 2 files changed, 29 insertions(+) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index f24b84ae407..b0cb30889fa 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2012-08-14 Richard Guenther + + * tree-into-ssa.c (update_ssa): Verify we do not rename + symbols that are already partly in SSA form. + 2012-08-14 Jakub Jelinek PR middle-end/53411 diff --git a/gcc/tree-into-ssa.c b/gcc/tree-into-ssa.c index e62e3fe35cc..50e2eff5df8 100644 --- a/gcc/tree-into-ssa.c +++ b/gcc/tree-into-ssa.c @@ -3247,6 +3247,30 @@ update_ssa (unsigned update_flags) statements and set local live-in information for the PHI placement heuristics. */ prepare_block_for_update (start_bb, insert_phi_p); + +#ifdef ENABLE_CHECKING + for (i = 1; i < num_ssa_names; ++i) + { + tree name = ssa_name (i); + if (!name + || virtual_operand_p (name)) + continue; + + /* For all but virtual operands, which do not have SSA names + with overlapping life ranges, ensure that symbols marked + for renaming do not have existing SSA names associated with + them as we do not re-write them out-of-SSA before going + into SSA for the remaining symbol uses. */ + if (marked_for_renaming (SSA_NAME_VAR (name))) + { + fprintf (stderr, "Existing SSA name for symbol marked for " + "renaming: "); + print_generic_expr (stderr, name, TDF_SLIM); + fprintf (stderr, "\n"); + internal_error ("SSA corruption"); + } + } +#endif } else { -- 2.30.2