minor changes concerning void and pre-processor

lang/cem/cemcom.ansi/LLlex.c

@@ -203,8 +203,7 @@ garbage:
 				ptok->tk_bts = string_token("file specifier",
 							'>', &(ptok->tk_len));
 				return ptok->tk_symb = FILESPECIFIER;
-			}
-			if (nch == '<') {
+			} else if (nch == '<') {
 				if ((nch = GetChar()) == '=')
 					return ptok->tk_symb = LEFTAB;
 				UnGetChar();
@@ -321,15 +320,9 @@ garbage:
 		idef->id_line = ptok->tk_line;
 #ifndef NOPP
 		if (idef->id_macro && ReplaceMacros && !NoExpandNext) {
-#if 0
-			if (idef->id_macro->mc_count > 0)
-				idef->id_macro->mc_count--;
-			else
-#endif	/* 0 */
 			if (replace(idef))
 					goto again;
 		}
-		NoExpandNext = 0;
 		if (UnknownIdIsZero && idef->id_reserved != SIZEOF) {
 			ptok->tk_ival = (arith)0;
 			ptok->tk_fund = INT;

lang/cem/cemcom.ansi/arith.c

@@ -143,14 +143,13 @@ relbalance(e1p, oper, e2p)
 		function2pointer(*e2p);
 	if ((*e1p)->ex_type->tp_fund == POINTER)
 		ch3pointer(e2p, oper, (*e1p)->ex_type);
-	else
-	if ((*e2p)->ex_type->tp_fund == POINTER)
+	else if ((*e2p)->ex_type->tp_fund == POINTER)
 		ch3pointer(e1p, oper, (*e2p)->ex_type);
-	else
-	if (	(*e1p)->ex_type == (*e2p)->ex_type &&
-		(*e1p)->ex_type->tp_fund == ENUM
-	)
-		{}
+	else if ((*e1p)->ex_type == (*e2p)->ex_type
+		&& (*e1p)->ex_type->tp_fund == ENUM) {}
+	else if (oper == ':'
+		    && (*e1p)->ex_type->tp_fund == VOID
+		    && (*e2p)->ex_type->tp_fund == VOID) {}
 	else
 		arithbalance(e1p, oper, e2p);
 }
@@ -160,7 +159,7 @@ ch3pointer(expp, oper, tp)
 	register struct type *tp;
 {
 	/*	Checks whether *expp may be compared to tp using oper,
-		as described in chapter 7.6 and 7.7.
+		as described in chapter 3.3.8 and 3.3.9.
 		tp is known to be a pointer.
 	*/
 	register struct expr *exp = *expp;

lang/cem/cemcom.ansi/ch3.c

@@ -195,8 +195,9 @@ ch3cast(expp, oper, tp)
 	}
 	else
 #endif NOBITFIELD
-	if (equal_type(tp, oldtp, 0)) {
+	if (equal_type(tp, oldtp, oper != CAST)) {
 		/* life is easy */
+		(*expp)->ex_type = tp;	/* so qualifiers are allright */
 	}
 	else
 	if (tp->tp_fund == VOID) {
@@ -382,6 +383,7 @@ equal_type(tp, otp, check_qual)
 
 	case POINTER:
 		if (equal_type(tp->tp_up, otp->tp_up, check_qual)) {
+		    if (check_qual) {
 			if (otp->tp_up->tp_typequal & TQ_CONST) {
 			    if (!(tp->tp_up->tp_typequal & TQ_CONST)) {
 				strict("illegal use of pointer to const object");
@@ -392,6 +394,7 @@ equal_type(tp, otp, check_qual)
 				strict("illegal use of pointer to volatile object");
 			    }
 			}
+		    }
 		    return 1;
 		}
 		else return 0;
@@ -568,8 +571,8 @@ ch3asgn(expp, oper, expr)
 	/*	Preserve volatile markers across the tree.
 		This is questionable, depending on the way the optimizer
 		wants this information.
-	vol = (exp->ex_flags & EX_VOLATILE) || (expr->ex_flags & EX_VOLATILE);
 	*/
+	vol = (exp->ex_flags & EX_VOLATILE) || (expr->ex_flags & EX_VOLATILE);
 
 	if (oper == '=') {
 		ch3cast(&expr, oper, exp->ex_type);
@@ -587,7 +590,7 @@ ch3asgn(expp, oper, expr)
 			((typeof (f op e))f op (typeof (f op e))e),
 		   where f ~ extmp and e ~ expr.
 		   We want to use (typeof (f op e))e.
-		   Ch7bin does not create a tree if both operands
+		   Ch3bin does not create a tree if both operands
 		   were illegal or constants!
 		*/
 		tp = extmp->ex_type;	/* perform the arithmetic in type tp */

lang/cem/cemcom.ansi/ch3bin.c

@@ -167,7 +167,7 @@ ch3bin(expp, oper, expr)
 	case RIGHTAB:
 		opnd2integral(expp, oper);
 		opnd2integral(&expr, oper);
-		arithbalance(expp, oper, &expr); /* ch. 7.5 */
+		arithbalance(expp, oper, &expr); /* ch. 3.3.7 */
 		ch3cast(&expr, oper, int_type); /* cvt. rightop to int */
 		non_commutative_binop(expp, oper, expr);
 		break;

lang/cem/cemcom.ansi/ch3mon.c

@@ -100,7 +100,7 @@ ch3mon(oper, expp)
 			(*expp)->ex_type = pointer_to((*expp)->ex_type,
 						(*expp)->ex_type->tp_typequal);
 			(*expp)->ex_lvalue = 0;
-			(*expp)->ex_flags &= ~EX_READONLY;
+			(*expp)->ex_flags &= ~(EX_READONLY | EX_VOLATILE);
 		}
 		break;
 	case '~':

lang/cem/cemcom.ansi/class.h

@@ -22,7 +22,7 @@
 #define	STGARB	2	/* garbage ascii character: not allowed in C	*/
 #define	STSIMP	3	/* this character can occur as token in C	*/
 #define	STCOMP	4	/* this one can start a compound token in C	*/
-#define	STELL	5	/* possible start of wide char stuff or idf	*/
+#define	STELL	5	/* wide character- or string- constant prefix	*/
 #define	STIDF	6	/* being the initial character of an identifier	*/
 #define	STCHAR	7	/* the starter of a character constant		*/
 #define	STSTR	8	/* the starter of a string			*/

lang/cem/cemcom.ansi/declar.g

@@ -641,14 +641,7 @@ parameter_declarator(register struct declarator *dc;)
 			parameter_type_list(&pl)
 		|
 			formal_list(&fm)
-		|
-			/* empty */
-			{
-				pl = new_proto();
-				pl->pl_type = void_type;
-				pl->pl_flag = PL_VOID;
-			}
-		]
+		]?
 		')'
 		{   add_decl_unary(dc, FUNCTION, 0, (arith)0, fm, pl);
 		    reject_params(dc);

lang/cem/cemcom.ansi/declarator.c

@@ -117,7 +117,7 @@ check_array_subscript(expr)
 	}
 	else
 	if (size == 0) {
-		warning("array size is 0");
+		strict("array size is 0");
 	}
 	else
 	if (size & ~max_unsigned) {	/* absolutely ridiculous */

lang/cem/cemcom.ansi/domacro.c

@@ -39,8 +39,8 @@ GetIdentifier(skiponerr)
 {
 	/*	returns a pointer to the descriptor of the identifier that is
 		read from the input stream. When the input doe not contain
-		an identifier, the rest of the line is skipped and a
-		null-pointer is returned.
+		an identifier, the rest of the line is skipped when
+		skiponerr is on, and a null-pointer is returned.
 		The substitution of macros is disabled.
 	*/
 	int tmp = UnknownIdIsZero;
@@ -422,7 +422,7 @@ do_undef()
 			if (id->id_macro->mc_flag & NOUNDEF) {
 				lexerror("it is not allowed to undef %s", id->id_text);
 			} else {
-				free(id->id_text);
+				free(id->id_macro->mc_text);
 				free_macro(id->id_macro);
 				id->id_macro = (struct macro *) 0;
 			}
@@ -539,7 +539,6 @@ macro_def(id, text, nformals, length, flags)
 	newdef->mc_nps  = nformals;	/* nr of formals	*/
 	newdef->mc_length = length;	/* length of repl. text	*/
 	newdef->mc_flag = flags;	/* special flags	*/
-	newdef->mc_count = 0;
 }
 
 int
@@ -699,11 +698,17 @@ domacro()
 
 	EoiForNewline = 1;
 	if ((tok = GetToken(&tk)) == IDENTIFIER) {
-		if (strcmp(tk.tk_idf->id_text, "line") != 0) {
+		if (strcmp(tk.tk_idf->id_text, "line")
+		    && strcmp(tk.tk_idf->id_text, "pragma")) {
 			error("illegal # line");
 			SkipToNewLine(0);
 			return;
 		}
+		else if ( !strcmp(tk.tk_idf->id_text, "pragma")) {
+			do_pragma();
+			EoiForNewline = 0;
+			return;
+		}
 		tok = GetToken(&tk);
 	}
 	if (tok != INTEGER) {

lang/cem/cemcom.ansi/eval.c

@@ -635,6 +635,7 @@ EVAL(expr, val, code, true_label, false_label)
 	default:
 		crash("(EVAL) bad expression class");
 	}
+	if (expr->ex_flags & EX_VOLATILE) C_nop();
 }
 
 /*	compare() serves as an auxiliary function of EVAL	*/

lang/cem/cemcom.ansi/expression.g

@@ -22,7 +22,7 @@ int InSizeof = 0;	/* inside a sizeof- expression */
 int ResultKnown = 0;	/* result of the expression is already known */
 
 /* Since the grammar in the standard is not LL(n), it is modified so that
- * it accepts basically the same grammar. Thsi means that there is no 1-1
+ * it accepts basically the same grammar. This means that there is no 1-1
  * mapping from the grammar in the standard to the grammar given here.
  * Such is life.
  */

lang/cem/cemcom.ansi/idf.c

@@ -210,7 +210,7 @@ declare_idf(ds, dc, lvl)
 			}
 			else if (type->tp_fund != LABEL) {
 				/* CJ */
-				warning("%s has size 0", idf->id_text);
+				strict("%s has size 0", idf->id_text);
 			}
 		}
 	}

lang/cem/cemcom.ansi/init.c

@@ -74,6 +74,7 @@ init_pp()
 	/* __DATE__ */
 	sprintf(dbuf, "\"%.3s %.2d %d\"", months[tp->tm_mon],
 			tp->tm_mday, tp->tm_year+1900);
+	if (tp->tm_mday < 10) dbuf[5] = ' ';		/* hack */
 	macro_def(str2idf("__DATE__"), dbuf, -1, strlen(dbuf), NOUNDEF);
 
 	/* __TIME__ */

lang/cem/cemcom.ansi/input.c

@@ -44,8 +44,6 @@ getwdir(fn)
 
 int	NoUnstack;
 int	InputLevel;
-#if 0
-#endif
 
 AtEoIT()
 {

lang/cem/cemcom.ansi/ival.g

@@ -475,8 +475,11 @@ check_ival(expp, tp)
 		if (expr->VL_CLASS == Name) {
 			register struct idf *idf = expr->VL_IDF;
 
-			if (idf->id_def->df_level >= L_LOCAL)
+			if (idf->id_def->df_level >= L_LOCAL
+			    && idf->id_def->df_sc != GLOBAL
+			    && idf->id_def->df_sc != EXTERN) {
 				illegal_init_cst(expr);
+			}
 			else	/* e.g., int f(); int p = f; */
 			if (idf->id_def->df_type->tp_fund == FUNCTION)
 				C_con_pnam(idf->id_text);

lang/cem/cemcom.ansi/macro.str

@@ -13,7 +13,7 @@
 */
 #define	NOFLAG		0		/* no special flags	*/
 #define	FUNC		0x1		/* function attached    */
-#define	NOUNDEF		0x2		/* special macro */
+#define	NOUNDEF		0x2		/* reserved macro	*/
 #define	NOREPLACE	0x4		/* prevent recursion	*/
 
 #define	FORMALP 0200	/* mask for creating macro formal parameter	*/
@@ -28,7 +28,6 @@ struct macro	{
 	char *	mc_text;	/* the replacement text		*/
 	int	mc_nps;		/* number of formal parameters	*/
 	int	mc_length;	/* length of replacement text	*/
-	int	mc_count;	/* # of "concurrent" invocations*/
 	char	mc_flag;	/* marking this macro		*/
 };
 

lang/cem/cemcom.ansi/pragma.c

@@ -11,9 +11,6 @@
 #include	"debug.h"
 #include	"idf.h"
 #include	"input.h"
-#include	"nopp.h"
-
-#ifndef NOPP
 #include	"ifdepth.h"	
 #include	"botch_free.h"	
 #include	"nparams.h"	
@@ -58,15 +55,9 @@ do_pragma()
 			break;
 
 		case P_UNKNOWN:
-			strict("unknown pragma directive %s", id->id_text);
-			break;
-
 		default:
-			strict("unimplemented pragma directive");
 			break;
 		}
 		SkipToNewLine(0);
 	}
-	else strict("unrecognized pragma line");
 }
-#endif

lang/cem/cemcom.ansi/replace.c

@@ -42,21 +42,18 @@ replace(idf)
 	struct repl *repl;
 
 	if (!(idf->id_macro)) return 0;
-	if (idf->id_macro->mc_flag & NOREPLACE){
+	if (idf->id_macro->mc_flag & NOREPLACE)
 		return 0;
-	}
 	repl = new_repl();
 	repl->r_ptr = repl->r_text;
 	repl->r_args = new_args();
 	repl->r_idf = idf;
-/* repl->r_level = InputLevel;	/* ?? temporary */
-	if (!expand_macro(repl, idf)) {
+	if (!expand_macro(repl, idf))
 		return 0;
-	}
 	InputLevel++;
 	InsertText(repl->r_text, repl->r_ptr - repl->r_text);
-	repl->r_level = InputLevel;
 	idf->id_macro->mc_flag |= NOREPLACE;
+	repl->r_level = InputLevel;
 	repl->next = ReplaceList;
 	ReplaceList = repl;
 	return 1;
@@ -133,10 +130,6 @@ expand_macro(repl, idf)
 		ch = GetChar();
 		ch = skipspaces(ch,1);
 		if (ch != '(') {	/* no replacement if no () */
-			/*	This is obscure. See the examples for the
-				replace algorithm in section 3`.8.3.5.
-			lexwarning("macro %s needs arguments", idf->id_text);
-			*/
 			UnGetChar();
 			return 0;
 		} else
@@ -217,7 +210,7 @@ getactuals(repl, idf)
 	args->a_expvec[0] = args->a_expptr = &args->a_expbuf[0];
 	args->a_rawvec[0] = args->a_rawptr = &args->a_rawbuf[0];
 	if ((ch = GetChar()) != ')') {
-		PushBack();
+		UnGetChar();
 		while ((ch = actual(repl)) != ')' ) {
 			if (ch != ',') {
 				lexerror("illegal macro call");
@@ -371,7 +364,8 @@ actual(repl)
 			}
 			UnGetChar();
 		} else if (ch == '(' || ch == '[' || ch == '{') {
-			/* a comma may occur within these constructions */
+			/* a comma may occur within these constructions ???
+			 */
 			level++;
 			stash(repl, ch, !nostashraw);
 		} else if (ch == ')' || ch == ']' || ch == '}') {
@@ -392,7 +386,7 @@ actual(repl)
 			/* newlines are accepted as white spaces */
 			LineNumber++;
 			while ((ch = GetChar()), class(ch) == STSKIP)
-				/* VOID */;
+				/* EMPTY */;
 
 			/*	This piece of code needs some explanation:
 				consider the call of a macro defined as:
@@ -546,8 +540,7 @@ macro2buffer(repl, idf, args)
 			    && repl->r_ptr >= repl->r_text)
 			--repl->r_ptr;
 
-		    /*	## occurred at the beginning of the
-			    replacement list.
+		    /*	## occurred at the beginning of the replacement list.
 		     */
 		    if (repl->r_ptr == repl->r_text
 				&& is_wsp(*repl->r_ptr)) {
@@ -598,7 +591,7 @@ macro2buffer(repl, idf, args)
 				if (*tmpptr == NOEXPM) *tmpptr = TOKSEP;
 			    }
 		    }
-		} else
+		} else			/* # operator */
 		    ptr = stringify(repl, ptr, args);
 	    } else if (*ptr & FORMALP) {
 		/* insert actual parameter */
@@ -632,7 +625,6 @@ macro2buffer(repl, idf, args)
 	*repl->r_ptr = '\0';
 	if (err)
 		lexerror("illegal use of the ## operator");
-	return;
 }
 
 char *
@@ -692,11 +684,12 @@ stringify(repl, ptr, args)
 
 		/* trim spaces in the replacement list */
 		for (--repl->r_ptr; is_wsp(*repl->r_ptr); repl->r_ptr--)
-			/* VOID */;
+			/* EMPTY */;
 		*++repl->r_ptr = '"';
 		++repl->r_ptr;	/* oops, one to far */
 	} else
 		error("illegal use of # operator");
+	*repl->r_ptr = '\0';
 	return ptr;
 }
 

lang/cem/cemcom.ansi/switch.c

@@ -60,9 +60,16 @@ code_startswitch(expp)
 	
 	switch (fund) {
 	case LONG:
+		/* switches on longs should work. Unfortunately, no backend
+		 * has simplemented switches with sizes other than the
+		 * word_size. Furthermore, building the rom should then be
+		 * done using C_rom_icon().
+		 * Just cast the expression to int and give a warning when
+		 * this means truncation.
+		 */
 		if (long_size > int_size)
 			warning("can't switch on longs (cast to int)");
-		int2int(expp, int_type);
+		int2int(expp, int_type);	/* for now ??? */
 		break;
 	case FLOAT:
 	case DOUBLE:

lang/cem/cemcom.ansi/tokenname.c

@@ -37,6 +37,16 @@ struct tokenname tkspec[] =	{	/* the names of the special tokens */
 
 #ifdef	____
 struct tokenname tkcomp[] =	{	/* names of the composite tokens */
+	{PLUSAB, "+="},
+	{MINAB, "-="},
+	{TIMESAB, "*="},
+	{DIVAB, "/="},
+	{MODAB, "%="},
+	{LEFTAB, "<<="},
+	{RIGHTAB, ">>="},
+	{ANDAB, "&="},
+	{XORAB, "^="},
+	{ORAB, "|="},
 	{NOTEQUAL, "!="},
 	{AND, "&&"},
 	{PLUSPLUS, "++"},
@@ -113,16 +123,6 @@ struct tokenname tkfunny[] =	{	/* internal keywords */
 	{CASTAB, "castab"},
 	{POSTINCR, "postfix ++"},
 	{POSTDECR, "postfix --"},
-	{PLUSAB, "+="},
-	{MINAB, "-="},
-	{TIMESAB, "*="},
-	{DIVAB, "/="},
-	{MODAB, "%="},
-	{LEFTAB, "<<="},
-	{RIGHTAB, ">>="},
-	{ANDAB, "&="},
-	{XORAB, "^="},
-	{ORAB, "|="},
 
 	{INT2INT, "int2int"},
 	{INT2FLOAT, "int2float"},

lang/cem/cemcom.ansi/type.c

@@ -112,7 +112,7 @@ construct_type(fund, tp, qual, count, pl)
 			count = (arith)-1;
 		}
 		else if (tp->tp_size == 0)	/* CJ */
-			warning("array elements have size 0");
+			strict("array elements have size 0");
 		if (count >= (arith)0)
 			count *= tp->tp_size;
 		dtp = array_of(tp, count, qual);