diff options
| -rw-r--r-- | gcc/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/cfgloop.c | 17 |
2 files changed, 13 insertions, 8 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 8dedbee9118..fa920142e96 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,7 @@ +2003-01-16 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz> + + * cfgloop.c (flow_loops_find): Fix handling of abnormal edges. + 2003-01-16 Kaveh R. Ghazi <ghazi@caip.rutgers.edu> * dbxout.c (lastfile, cwd): Fix `unused' warning. diff --git a/gcc/cfgloop.c b/gcc/cfgloop.c index da958c22324..b93302e82c8 100644 --- a/gcc/cfgloop.c +++ b/gcc/cfgloop.c @@ -804,19 +804,20 @@ flow_loops_find (loops, flags) header->loop_depth = 0; + /* If we have an abnormal predecessor, do not consider the + loop (not worth the problems). */ + for (e = header->pred; e; e = e->pred_next) + if (e->flags & EDGE_ABNORMAL) + break; + if (e) + continue; + for (e = header->pred; e; e = e->pred_next) { basic_block latch = e->src; if (e->flags & EDGE_ABNORMAL) - { - if (more_latches) - { - RESET_BIT (headers, header->index); - num_loops--; - } - break; - } + abort (); /* Look for back edges where a predecessor is dominated by this block. A natural loop has a single entry |