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

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

From-SVN: r29844

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 67ad3156d9913bc966a1029ed4b8735a94316bae..702925830b19df9bb20d8abe1b8361a753f7651d 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 9ba388944bf6bc079586a13743132b6c97494115..c3172f5a68bace8415f49544bc3379e5ae92da53 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;
     }