shithub: scc

Info  •  Files  •  Log  •  Branches

Do not emit decalrations until initializer

Incomplete array types are converted to complete when they
have a initializer, but incomplete types are not emited, so
it is impossible for the backend to know what is the size of
the initializer.

--- a/cc1/decl.c

+++ b/cc1/decl.c

@@ -789,12 +789,12 @@

 		sym->flags = flags;

 	}

-	if (sym->token == IDEN && sym->type->op != FTN)

-		emit(ODECL, sym);

 	if (accept('='))

 		initializer(sym, sym->type);

 	if (!(sym->flags & (ISGLOBAL|ISEXTERN)) && tp->op != FTN)

 		sym->flags |= ISDEFINED;

+	if (sym->token == IDEN && sym->type->op != FTN)

+		emit(ODECL, sym);

 	return sym;

 }

--- a/cc1/init.c

+++ b/cc1/init.c

@@ -244,6 +244,7 @@

 		errorp("function '%s' is initialized like a variable", sym->name);

 	np = initialize(tp);

+	emit(ODECL, sym);

 	if (flags & ISDEFINED) {

 		errorp("redeclaration of '%s'", sym->name);

 	} else if ((flags & (ISGLOBAL|ISLOCAL|ISPRIVATE)) != 0) {