cfgrtl.c (verify_flow_info): Allow jump table data in fallthru if CASE_DROPS_THROUGH.

* cfgrtl.c (verify_flow_info): Allow jump table data in fallthru if CASE_DROPS_THROUGH. From-SVN: r47655

cfgrtl.c (verify_flow_info): Allow jump table data in fallthru if CASE_DROPS_THROUGH.
* cfgrtl.c (verify_flow_info): Allow jump table data in fallthru if CASE_DROPS_THROUGH. From-SVN: r47655
32a6f30e · John David Anglin · John David Anglin · 4f56ebb7 · 32a6f30e · 32a6f30e
Commit 32a6f30e authored Dec 05, 2001 by John David Anglin Committed by John David Anglin Dec 05, 2001
Hide whitespace changes
Inline Side-by-side

Showing with 11 additions and 1 deletions

gcc/ChangeLog
+5 -0

gcc/cfgrtl.c
+6 -1

No files found.
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
+2001-12-04  John David Anglin  <dave@hiauly1.hia.nrc.ca>
+
+	* cfgrtl.c (verify_flow_info): Allow jump table data in fallthru if
+	CASE_DROPS_THROUGH.
+
 2001-12-04  Andrew MacLeod  <amacleod@redhat.com>

 	* rtl.h (initialize_uninitialized_subregs): New prototype.

--- a/gcc/cfgrtl.c
+++ b/gcc/cfgrtl.c
@@ -1610,7 +1610,12 @@ verify_flow_info ()
 	      else
 		for (insn = NEXT_INSN (e->src->end); insn != e->dest->head;
 		     insn = NEXT_INSN (insn))
-		  if (GET_CODE (insn) == BARRIER || INSN_P (insn))
+		  if (GET_CODE (insn) == BARRIER
+#ifndef CASE_DROPS_THROUGH
+		      || INSN_P (insn))
+#else
+		      || (INSN_P (insn) && ! JUMP_TABLE_DATA_P (insn)))
+#endif
 		    {
 		      error ("verify_flow_info: Incorrect fallthru %i->%i",
 			     e->src->index, e->dest->index);