diff --git a/gcc/tree-ssa-live.cc b/gcc/tree-ssa-live.cc index 0739faa022efcac123be59b0a63ccbd5ad78bf5e..484698899cfeda3cbf89d66778f370bb5291172c 100644 --- a/gcc/tree-ssa-live.cc +++ b/gcc/tree-ssa-live.cc @@ -612,6 +612,22 @@ clear_unused_block_pointer_1 (tree *tp, int *, void *) return NULL_TREE; } +/* Clear references to unused BLOCKs from DECL_VALUE_EXPRs of variables + in BLOCK. */ + +static void +clear_unused_block_pointer_in_block (tree block) +{ + for (tree t = BLOCK_VARS (block); t; t = DECL_CHAIN (t)) + if (VAR_P (t) && DECL_HAS_VALUE_EXPR_P (t)) + { + tree val = DECL_VALUE_EXPR (t); + walk_tree (&val, clear_unused_block_pointer_1, NULL, NULL); + } + for (tree t = BLOCK_SUBBLOCKS (block); t; t = BLOCK_CHAIN (t)) + clear_unused_block_pointer_in_block (t); +} + /* Set all block pointer in debug or clobber stmt to NULL if the block is unused, so that they will not be streamed out. */ @@ -667,6 +683,10 @@ clear_unused_block_pointer (void) walk_tree (gimple_op_ptr (stmt, i), clear_unused_block_pointer_1, NULL, NULL); } + + /* Walk all variables mentioned in the functions BLOCK tree and clear + DECL_VALUE_EXPR from unused blocks where present. */ + clear_unused_block_pointer_in_block (DECL_INITIAL (current_function_decl)); } /* Dump scope blocks starting at SCOPE to FILE. INDENT is the