From c87d6057c5c6adf960152985da6fdb43335e3425 Mon Sep 17 00:00:00 2001 From: Jakub Jelinek Date: Thu, 3 Jun 2010 14:07:18 +0200 Subject: re PR debug/44375 (goto_locus lost at -O0 during cfg cleanup) PR debug/44375 * tree-cfg.c (gimple_can_merge_blocks_p): For -O0 return false if merging the bbs would lead to goto_locus location being lost from the IL. From-SVN: r160219 --- gcc/ChangeLog | 7 +++++++ gcc/tree-cfg.c | 17 +++++++++++++++++ 2 files changed, 24 insertions(+) (limited to 'gcc') diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 8e4aed8..61cf4d7 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,10 @@ +2010-06-03 Jakub Jelinek + + PR debug/44375 + * tree-cfg.c (gimple_can_merge_blocks_p): For -O0 + return false if merging the bbs would lead to goto_locus + location being lost from the IL. + 2010-06-03 Jan Hubicka Jakub Jelinek diff --git a/gcc/tree-cfg.c b/gcc/tree-cfg.c index 7db5192..eca3ed0 100644 --- a/gcc/tree-cfg.c +++ b/gcc/tree-cfg.c @@ -1475,6 +1475,23 @@ gimple_can_merge_blocks_p (basic_block a, basic_block b) && name_mappings_registered_p ()) return false; + /* When not optimizing, don't merge if we'd lose goto_locus. */ + if (!optimize + && single_succ_edge (a)->goto_locus != UNKNOWN_LOCATION) + { + location_t goto_locus = single_succ_edge (a)->goto_locus; + gimple_stmt_iterator prev, next; + prev = gsi_last_nondebug_bb (a); + next = gsi_after_labels (b); + if (!gsi_end_p (next) && is_gimple_debug (gsi_stmt (next))) + gsi_next_nondebug (&next); + if ((gsi_end_p (prev) + || gimple_location (gsi_stmt (prev)) != goto_locus) + && (gsi_end_p (next) + || gimple_location (gsi_stmt (next)) != goto_locus)) + return false; + } + return true; } -- cgit v1.1