rtlanal.c (tablejump_p): Expect table and label to be adjacent.

       * rtlanal.c (tablejump_p): Expect table and label to be adjacent.

From-SVN: r199460

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index ddd2a30fbf6adb17526867719c2148050e7abed0..660730a7b10c2d571c5c28fe660fed1844a29fa4 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,7 @@
+2013-05-30  Steven Bosscher  <steven@gcc.gnu.org>
+
+       * rtlanal.c (tablejump_p): Expect table and label to be adjacent.
+
 2013-05-30  Vladimir Makarov  <vmakarov@redhat.com>
 
        * target.def (register_usage_leveling_p): New hook.

diff --git a/gcc/rtlanal.c b/gcc/rtlanal.c
index b19868579a87f54ad48ee847618d434a6360995f..fe708488444b72063ee5ed93e5d337bdffddf544 100644 (file)
--- a/gcc/rtlanal.c
+++ b/gcc/rtlanal.c
@@ -2711,6 +2711,7 @@ tablejump_p (const_rtx insn, rtx *labelp, rtx *tablep)
       && (table = next_active_insn (label)) != NULL_RTX
       && JUMP_TABLE_DATA_P (table))
     {
+      gcc_assert (table == NEXT_INSN (label));
       if (labelp)
        *labelp = label;
       if (tablep)