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 b39061469319309b6fdefc25b30505ed62ae8477..2dd1ca4856c08c866826d99fd4822d14ed622355 100644 (file)
--- 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 94f3a556c34b67cc6373f6216fb40e5d5f8bd2a8..efc05313e075d3732ce178f2b75444595186b44a 100644 (file)
--- 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);