From 2224ac3c4ed6786a379aecdbfb780e4faa914c40 Mon Sep 17 00:00:00 2001 From: Richard Henderson Date: Wed, 6 Oct 1999 12:24:28 -0700 Subject: [PATCH] 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 | 5 +++++ gcc/genrecog.c | 11 +++++++++-- 2 files changed, 14 insertions(+), 2 deletions(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 67ad3156d991..702925830b19 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +Wed Oct 6 12:22:50 1999 Richard Henderson + + * genrecog.c (add_to_sequence): Verify operand to label_ref is + VOIDmode. + Wed Oct 6 10:21:15 1999 Richard Henderson * genconfig.c (main): Disable HAVE_conditional_arithmetic. diff --git a/gcc/genrecog.c b/gcc/genrecog.c index 9ba388944bf6..c3172f5a68ba 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; }