cfganal.c (can_fallthru): Fix fast path.

	* cfganal.c (can_fallthru): Fix fast path.
	* cfgrtl.c (verify_flow_info): Avoid crash on conditionals
	with edges to the next block.

From-SVN: r53327

gcc/ChangeLog

+Thu May  9 14:55:39 CEST 2002  Jan Hubicka  <jh@suse.cz>
+
+	* cfganal.c (can_fallthru): Fix fast path.
+	* cfgrtl.c (verify_flow_info): Avoid crash on conditionals
+	with edges to the next block.
+
 Thu May  9 14:52:45 CEST 2002  Jan Hubicka  <jh@suse.cz>
 			       Pavel Nejedly  <bim@atrey.karlin.mff.cuni.cz>
 

gcc/cfganal.c

@@ -87,7 +87,10 @@ can_fallthru (src, target)
   rtx insn = src->end;
   rtx insn2 = target->head;
 
-  if (src->index + 1 == target->index && !active_insn_p (insn2))
+  if (src->index + 1 != target->index)
+    return 0;
+
+  if (!active_insn_p (insn2))
     insn2 = next_active_insn (insn2);
 
   /* ??? Later we may add code to move jump tables offline.  */

gcc/cfgrtl.c

@@ -1782,6 +1782,7 @@ verify_flow_info ()
 
       if (INSN_P (bb->end)
 	  && (note = find_reg_note (bb->end, REG_BR_PROB, NULL_RTX))
+	  && bb->succ && bb->succ->succ_next
 	  && any_condjump_p (bb->end))
 	{
 	  if (INTVAL (XEXP (note, 0)) != BRANCH_EDGE (bb)->probability)