* genrecog.c (add_to_sequence): Verify operand to label_ref is

        VOIDmode.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@29844 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 67ad315..7029258 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+Wed Oct  6 12:22:50 1999  Richard Henderson  <rth@cygnus.com>
+
+       * genrecog.c (add_to_sequence): Verify operand to label_ref is
+       VOIDmode.
+
 Wed Oct  6 10:21:15 1999  Richard Henderson  <rth@cygnus.com>
 
        * genconfig.c (main): Disable HAVE_conditional_arithmetic.

diff --git a/gcc/genrecog.c b/gcc/genrecog.c
index 9ba3889..c3172f5 100644 (file)
--- a/gcc/genrecog.c
+++ b/gcc/genrecog.c
@@ -540,10 +540,17 @@ add_to_sequence (pattern, last, position, insn_type, top)
          fputc ('\n', stderr);
          fatal ("mode mismatch in SET");
        }
-
-      /* Everything else is standard.  */
       break;
       
+    case LABEL_REF:
+      if (GET_MODE (XEXP (pattern, 0)) != VOIDmode)
+       {
+         print_rtl (stderr, pattern);
+         fputc ('\n', stderr);
+         fatal ("operand to LABEL_REF not VOIDmode");
+       }
+      break;
+
     default:
       break;
     }