From 2224ac3c4ed6786a379aecdbfb780e4faa914c40 Mon Sep 17 00:00:00 2001
From: Richard Henderson <rth@cygnus.com>
Date: Wed, 6 Oct 1999 12:24:28 -0700
Subject: 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/genrecog.c | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

(limited to 'gcc/genrecog.c')

diff --git a/gcc/genrecog.c b/gcc/genrecog.c
index 9ba3889..c3172f5 100644
--- 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;
     }
-- 
cgit v1.1