From: John David Anglin <dave@hiauly1.hia.nrc.ca>
Date: Wed, 5 Dec 2001 03:54:51 +0000 (+0000)
Subject: cfgrtl.c (verify_flow_info): Allow jump table data in fallthru if CASE_DROPS_THROUGH.
X-Git-Tag: prereleases/libstdc++-3.0.95~469
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=32a6f30e69f5044b5718c0c30b3a86eb94a2e8ec;p=thirdparty%2Fgcc.git

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
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index b39061469319..2dd1ca4856c0 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+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.
diff --git a/gcc/cfgrtl.c b/gcc/cfgrtl.c
index 94f3a556c34b..efc05313e075 100644
--- 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);