diff options
| author | steven <steven@138bc75d-0d04-0410-961f-82ee72b054a4> | 2004-09-17 06:23:54 +0000 |
|---|---|---|
| committer | steven <steven@138bc75d-0d04-0410-961f-82ee72b054a4> | 2004-09-17 06:23:54 +0000 |
| commit | e20bf7212eeae6c290251c325bef2e9d9582c262 (patch) | |
| tree | 60dcd3daf28a15902b1426d100e008d5cc20b4d0 /gcc/cfgexpand.c | |
| parent | 57ee590e86f71740d03f783ec97482993f56a97c (diff) | |
| download | gcc-e20bf7212eeae6c290251c325bef2e9d9582c262.tar.gz | |
PR tree-optimization/17513
* cfgexpand.c (construct_init_block): Clear EDGE_EXECUTABLE
for successors of the entry block.
* gcc.dg/20040916-1.c: New test.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@87632 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/cfgexpand.c')
| -rw-r--r-- | gcc/cfgexpand.c | 18 |
1 files changed, 14 insertions, 4 deletions
diff --git a/gcc/cfgexpand.c b/gcc/cfgexpand.c index 71dd039ca31..bf179fee0b6 100644 --- a/gcc/cfgexpand.c +++ b/gcc/cfgexpand.c @@ -1082,11 +1082,21 @@ static basic_block construct_init_block (void) { basic_block init_block, first_block; - edge e; + edge e = NULL, e2; + + for (e2 = ENTRY_BLOCK_PTR->succ; e2; e2 = e2->succ_next) + { + /* Clear EDGE_EXECUTABLE. This flag is never used in the backend. - for (e = ENTRY_BLOCK_PTR->succ; e; e = e->succ_next) - if (e->dest == ENTRY_BLOCK_PTR->next_bb) - break; + For all other blocks this edge flag is cleared while expanding + a basic block in expand_gimple_basic_block, but there we never + looked at the successors of the entry block. + This caused PR17513. */ + e2->flags &= ~EDGE_EXECUTABLE; + + if (e2->dest == ENTRY_BLOCK_PTR->next_bb) + e = e2; + } init_block = create_basic_block (NEXT_INSN (get_insns ()), get_last_insn (), |