From: ceriel <none@none>
Date: Tue, 29 Oct 1991 09:18:46 +0000 (+0000)
Subject: Deal with CASE a OF 10 .. MAX(CARDINAL) ... and things like that
X-Git-Tag: release-5-5~680
X-Git-Url: https://git.ndcode.org/public/gitweb.cgi?a=commitdiff_plain;h=cfe45c4e2a7669e2c71f98fc37b1efc49e1eebc9;p=ack.git

Deal with CASE a OF 10 .. MAX(CARDINAL) ... and things like that
---

diff --git a/lang/m2/comp/casestat.C b/lang/m2/comp/casestat.C
index 9508063e2..eb46834d8 100644
--- a/lang/m2/comp/casestat.C
+++ b/lang/m2/comp/casestat.C
@@ -270,13 +270,51 @@ AddOneCase(sh, lnode, rnode, lbl)
 	register struct case_entry *ce = new_case_entry();
 	register struct case_entry *c1 = sh->sh_entries, *c2 = 0;
 	int fund = sh->sh_type->tp_fund;
+	arith diff;
 
-	ce->ce_label = lbl;
-	ce->ce_low = lnode->nd_INT;
-	ce->ce_up = rnode->nd_INT;
 	if (! ChkCompat(&lnode, sh->sh_type, "case") ||
 	    ! ChkCompat(&rnode, sh->sh_type, "case")) {
 	}
+	diff = rnode->nd_INT - lnode->nd_INT;
+#define MAXRANGE	100
+	if (diff < 0 || diff > MAXRANGE) {
+		/* This is a bit of a hack, but it prevents the compiler
+		   from crashing on things like
+		   CASE a OF
+		     10 .. MAX(CARDINAL): ....
+		   
+		   If the range covers more than MAXRANGE cases, this case
+		   is dealt with separately.
+		*/
+		label cont = ++text_label;
+
+		C_dup(int_size);
+		C_loc(lnode->nd_INT);
+		if (fund == T_INTEGER) {
+			C_blt(cont);
+		}
+		else {
+			C_cmu(int_size);
+			C_zlt(cont);
+		}
+		C_dup(int_size);
+		C_loc(rnode->nd_INT);
+		if (fund == T_INTEGER) {
+			C_bgt(cont);
+		}
+		else {
+			C_cmu(int_size);
+			C_zgt(cont);
+		}
+		C_asp(int_size);
+		C_bra(lbl);
+		C_df_ilb(cont);
+		free_case_entry(ce);
+		return;
+	}
+	ce->ce_label = lbl;
+	ce->ce_low = lnode->nd_INT;
+	ce->ce_up = rnode->nd_INT;
 	if (sh->sh_entries == 0)	{
 		/* first case entry
 		*/