flow.c: (make_edges): Always make edges from a basic block to its exception handlers...

        * flow.c: (make_edges): Always make edges from a basic block
        to its exception handlers, even if the block ends with a jump.

From-SVN: r26464

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 9c216d05cb8ee4c4836694233806df7565b7f0b2..5d592f044233aba8dd32eaf612b8b186bc7cc8e2 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+Wed Apr 14 21:29:18 1999  Andrew Haley  <aph@cygnus.com>
+
+       * flow.c: (make_edges): Always make edges from a basic block
+       to its exception handlers, even if the block ends with a jump.
+
 1999-04-14 23:26 -0400  Zack Weinberg  <zack@rabi.columbia.edu>
 
        * graph.c (node_data): Return void.  Ignore result of

diff --git a/gcc/flow.c b/gcc/flow.c
index c9bf5ab15b61c7898b217dbca6872b06d25680fa..9b2151e86a5046c1f4312491540e647a9cbb5124 100644 (file)
--- a/gcc/flow.c
+++ b/gcc/flow.c
@@ -981,7 +981,7 @@ make_edges (label_value_list, bb_eh_end)
 
         Also mark the CALL_INSN as reaching any nonlocal goto handler.  */
 
-      else if (code == CALL_INSN || asynchronous_exceptions)
+      if (code == CALL_INSN || asynchronous_exceptions)
        {
          int is_call = (code == CALL_INSN ? EDGE_ABNORMAL_CALL : 0);
          handler_info *ptr;