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

gcc/ChangeLog

+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

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;