diff options
| author | Richard Henderson <rth@redhat.com> | 2005-08-05 16:01:54 -0700 |
|---|---|---|
| committer | Richard Henderson <rth@gcc.gnu.org> | 2005-08-05 16:01:54 -0700 |
| commit | bb1ecfe8a92497f7040e522ffbf0572b00b92492 (patch) | |
| tree | ad686c8439d31d25ef09c4a852f5a872604eaa5e /gcc/tree-cfg.c | |
| parent | 0e44ef6254bfa00961521b596e0d3ea703119ec0 (diff) | |
| download | gcc-bb1ecfe8a92497f7040e522ffbf0572b00b92492.zip gcc-bb1ecfe8a92497f7040e522ffbf0572b00b92492.tar.gz gcc-bb1ecfe8a92497f7040e522ffbf0572b00b92492.tar.bz2 | |
re PR middle-end/21728 (Nonlocal goto from an unused nested function)
PR 21728
* tree-cfg.c (remove_bb): Transmute DECL_NONLOCAL labels into
FORCED_LABEL labels.
From-SVN: r102786
Diffstat (limited to 'gcc/tree-cfg.c')
| -rw-r--r-- | gcc/tree-cfg.c | 18 |
1 files changed, 15 insertions, 3 deletions
diff --git a/gcc/tree-cfg.c b/gcc/tree-cfg.c index b5a0696..70dca21 100644 --- a/gcc/tree-cfg.c +++ b/gcc/tree-cfg.c @@ -1983,11 +1983,23 @@ remove_bb (basic_block bb) { tree stmt = bsi_stmt (i); if (TREE_CODE (stmt) == LABEL_EXPR - && FORCED_LABEL (LABEL_EXPR_LABEL (stmt))) + && (FORCED_LABEL (LABEL_EXPR_LABEL (stmt)) + || DECL_NONLOCAL (LABEL_EXPR_LABEL (stmt)))) { - basic_block new_bb = bb->prev_bb; - block_stmt_iterator new_bsi = bsi_start (new_bb); + basic_block new_bb; + block_stmt_iterator new_bsi; + + /* A non-reachable non-local label may still be referenced. + But it no longer needs to carry the extra semantics of + non-locality. */ + if (DECL_NONLOCAL (LABEL_EXPR_LABEL (stmt))) + { + DECL_NONLOCAL (LABEL_EXPR_LABEL (stmt)) = 0; + FORCED_LABEL (LABEL_EXPR_LABEL (stmt)) = 1; + } + new_bb = bb->prev_bb; + new_bsi = bsi_start (new_bb); bsi_remove (&i); bsi_insert_before (&new_bsi, stmt, BSI_NEW_STMT); } |