From: Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz>
Date: Thu, 16 Jan 2003 15:49:20 +0000 (+0100)
Subject: cfgloop.c (flow_loops_find): Fix handling of abnormal edges.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=16f2b86aa8ed073f59186ab1cff028c17aa87145;p=gcc.git

cfgloop.c (flow_loops_find): Fix handling of abnormal edges.

2003-01-16  Zdenek Dvorak  <rakdver@atrey.karlin.mff.cuni.cz>

	* cfgloop.c (flow_loops_find): Fix handling of abnormal edges.

From-SVN: r61393
---

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