d0p1/ack
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity

fix problem with variant tag and made double compatible with subranges

Browse source
This commit is contained in:
ceriel 1990-07-17 13:57:01 +00:00
parent 109a357e95
commit e2bc68a46b
2 changed files with 18 additions and 15 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
lang/pc/comp/declar.g
View file

@ -641,9 +641,7 @@ VariantPart(struct scope *scope; arith *cnt; int *palign;
/* ISO 6.4.3.3 (p. 100) /* ISO 6.4.3.3 (p. 100)
* The standard permits the integertype as tagtype, but demands that the set * The standard permits the integertype as tagtype, but demands that the set
* of values denoted by the case-constants is equal to the set of values * of values denoted by the case-constants is equal to the set of values
* specified by the tagtype. So we've decided not to allow integer as tagtype, * specified by the tagtype.
* because it's not practical to enumerate ALL integers as case-constants.
* Though it wouldn't make a great difference to allow it as tagtype.
*/ */
if( !(tp->tp_fund & T_INDEX)) { if( !(tp->tp_fund & T_INDEX)) {
error("illegal type in variant"); error("illegal type in variant");
@ -654,7 +652,11 @@ VariantPart(struct scope *scope; arith *cnt; int *palign;
getbounds(tp, &lb, &ub); getbounds(tp, &lb, &ub);
ncst = ub - lb + 1; ncst = ub - lb + 1;
if (ncst < 0 || ncst > (~(1L<<(8*sizeof(arith)-1)))/sizeof(struct selector *)) {
error("range of variant tag too wide");
tp = error_type;
}
else {
/* initialize selector */ /* initialize selector */
(*sel)->sel_ptrs = (struct selector **) (*sel)->sel_ptrs = (struct selector **)
Malloc((unsigned)ncst * sizeof(struct selector *)); Malloc((unsigned)ncst * sizeof(struct selector *));
@ -665,6 +667,7 @@ VariantPart(struct scope *scope; arith *cnt; int *palign;
sp = (*sel)->sel_ptrs; sp = (*sel)->sel_ptrs;
while( ncst-- ) *sp++ = *sel; while( ncst-- ) *sp++ = *sel;
} }
}
(*sel)->sel_type = tp; (*sel)->sel_type = tp;
if( df ) { if( df ) {
df->df_type = tp; df->df_type = tp;

2
lang/pc/comp/typequiv.c
View file

@ -96,7 +96,7 @@ TstCompat(tp1, tp2)
/* no clause, just check for longs and ints */ /* no clause, just check for longs and ints */
/* BaseType is used in case of array indexing */ /* BaseType is used in case of array indexing */
if ((BaseType(tp1) == int_type && tp2 == long_type) || if ((BaseType(tp1) == int_type && tp2 == long_type) ||
(tp1 == long_type && tp2 == int_type)) (tp1 == long_type && BaseType(tp2) == int_type))
return 1; return 1;