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

gcc/ChangeLog

+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.

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;
     }