summaryrefslogtreecommitdiff
path: root/gcc/cfgrtl.c
diff options
context:
space:
mode:
authordanglin <danglin@138bc75d-0d04-0410-961f-82ee72b054a4>2001-12-05 03:54:51 +0000
committerdanglin <danglin@138bc75d-0d04-0410-961f-82ee72b054a4>2001-12-05 03:54:51 +0000
commit70494897e897cfe5a82d808523dfa643bf077e5b (patch)
treeb6319484437c264117d0472f57d7508ec8abcebf /gcc/cfgrtl.c
parent698c9d042da712187bf0a5e69d12201f8d8223b4 (diff)
downloadgcc-70494897e897cfe5a82d808523dfa643bf077e5b.tar.gz
* cfgrtl.c (verify_flow_info): Allow jump table data in fallthru if
CASE_DROPS_THROUGH. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@47655 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/cfgrtl.c')
-rw-r--r--gcc/cfgrtl.c7
1 files changed, 6 insertions, 1 deletions
diff --git a/gcc/cfgrtl.c b/gcc/cfgrtl.c
index 94f3a556c34..efc05313e07 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);