diff options
| author | Devang Patel <dpatel@gcc.gnu.org> | 2005-09-27 14:44:55 -0700 |
|---|---|---|
| committer | Devang Patel <dpatel@gcc.gnu.org> | 2005-09-27 14:44:55 -0700 |
| commit | 93954fcc895e40418cecc5c0c1d35ef579ea204d (patch) | |
| tree | e16ad23964e27638c0cf9040bb26c64666d13029 /gcc/tree-flow-inline.h | |
| parent | 118ea208fa6de41756b9d1cce052e0bd64c681c2 (diff) | |
| download | gcc-93954fcc895e40418cecc5c0c1d35ef579ea204d.zip gcc-93954fcc895e40418cecc5c0c1d35ef579ea204d.tar.gz gcc-93954fcc895e40418cecc5c0c1d35ef579ea204d.tar.bz2 | |
re PR tree-optimization/23625 (ICE: in bsi_after_labels, at tree-flow-inline.h:758)
PR tree-optimization/23625
* tree-flow-inline.h (bsi_after_labels): Remove, first statement is
LABEL_EXPR, assertion check.
* gcc.dg/PR23625.c: New test.
From-SVN: r104711
Diffstat (limited to 'gcc/tree-flow-inline.h')
| -rw-r--r-- | gcc/tree-flow-inline.h | 9 |
1 files changed, 1 insertions, 8 deletions
diff --git a/gcc/tree-flow-inline.h b/gcc/tree-flow-inline.h index b317c8c..d8b57a5 100644 --- a/gcc/tree-flow-inline.h +++ b/gcc/tree-flow-inline.h @@ -727,7 +727,7 @@ bsi_start (basic_block bb) return bsi; } -/* Return a block statement iterator that points to the last label in +/* Return a block statement iterator that points to the first non-label block BB. */ static inline block_stmt_iterator @@ -750,13 +750,6 @@ bsi_after_labels (basic_block bb) if (tsi_end_p (bsi.tsi)) return bsi; - /* Ensure that there are some labels. The rationale is that we want - to insert after the bsi that is returned, and these insertions should - be placed at the start of the basic block. This would not work if the - first statement was not label; rather fail here than enable the user - proceed in wrong way. */ - gcc_assert (TREE_CODE (tsi_stmt (bsi.tsi)) == LABEL_EXPR); - next = bsi.tsi; tsi_next (&next); |