/* */
/* compile.c */
/* */
-/* Top level compiler subroutine */
+/* Top level compiler subroutine */
/* */
/* */
/* */
-/* (C) 2000-2008 Ullrich von Bassewitz */
+/* (C) 2000-2009 Ullrich von Bassewitz */
/* Roemerstrasse 52 */
/* D-70794 Filderstadt */
/* EMail: uz@cc65.org */
#include "input.h"
#include "litpool.h"
#include "macrotab.h"
+#include "output.h"
#include "pragma.h"
#include "preproc.h"
#include "standard.h"
DeclSpec Spec;
Declaration Decl;
- int NeedStorage;
/* Check for empty statements */
if (CurTok.Tok == TOK_SEMI) {
continue;
}
- /* Check if we must reserve storage for the variable. We do
- * this if we don't had a storage class given ("int i") or
- * if the storage class is explicitly specified as static.
- * This means that "extern int i" will not get storage
- * allocated.
- */
- NeedStorage = (Spec.StorageClass & SC_TYPEDEF) == 0 &&
- ((Spec.Flags & DS_DEF_STORAGE) != 0 ||
- (Spec.StorageClass & (SC_STATIC | SC_EXTERN)) == SC_STATIC);
-
/* Read declarations for this type */
Entry = 0;
comma = 0;
break;
}
- /* Get the symbol flags */
- if (IsTypeFunc (Decl.Type)) {
- Decl.StorageClass |= SC_FUNC;
- } else if ((Decl.StorageClass & SC_TYPEDEF) == 0) {
- if ((Spec.Flags & DS_DEF_TYPE) != 0 && IS_Get (&Standard) >= STD_C99) {
- Warning ("Implicit `int' is an obsolete feature");
- }
- if (NeedStorage) {
- /* We will allocate storage, variable is defined */
- Decl.StorageClass |= SC_STORAGE | SC_DEF;
- }
+ /* Check if we must reserve storage for the variable. We do this,
+ * if it is not a typedef or function, if we don't had a storage
+ * class given ("int i") or if the storage class is explicitly
+ * specified as static. This means that "extern int i" will not
+ * get storage allocated.
+ */
+ if ((Decl.StorageClass & SC_FUNC) != SC_FUNC &&
+ (Decl.StorageClass & SC_TYPEDEF) != SC_TYPEDEF &&
+ ((Spec.Flags & DS_DEF_STORAGE) != 0 ||
+ (Decl.StorageClass & (SC_STATIC | SC_EXTERN)) == SC_STATIC)) {
+
+ /* We will allocate storage */
+ Decl.StorageClass |= SC_STORAGE | SC_DEF;
}
+ /* If this is a function declarator that is not followed by a comma
+ * or semicolon, it must be followed by a function body. If this is
+ * the case, convert an empty parameter list into one accepting no
+ * parameters (same as void) as required by the standard.
+ */
+ if ((Decl.StorageClass & SC_FUNC) != 0 &&
+ (CurTok.Tok != TOK_COMMA) &&
+ (CurTok.Tok != TOK_SEMI)) {
+
+ FuncDesc* D = GetFuncDesc (Decl.Type);
+ if (D->Flags & FD_EMPTY) {
+ D->Flags = (D->Flags & ~(FD_EMPTY | FD_VARIADIC)) | FD_VOID_PARAM;
+ }
+ }
+
/* Add an entry to the symbol table */
Entry = AddGlobalSym (Decl.Ident, Decl.Type, Decl.StorageClass);
}
}
- /* Switch to the data or rodata segment */
- if (IsQualConst (Decl.Type)) {
- g_userodata ();
+ /* Switch to the data or rodata segment. For arrays, check
+ * the element qualifiers, since not the array but its
+ * elements are const.
+ */
+ if (IsQualConst (Decl.Type) ||
+ (IsTypeArray (Decl.Type) &&
+ IsQualConst (GetElementType (Decl.Type)))) {
+ g_userodata ();
} else {
g_usedata ();
}
NextToken ();
} else {
- FuncDesc* D;
-
/* Function body. Check for duplicate function definitions */
if (SymIsDef (Entry)) {
Error ("Body for function `%s' has already been defined",
Entry->Name);
}
- /* An empty parameter list in a function definition means
- * that the function doesn't take any parameters. The same
- * in a declarator means that the function can take any
- * number of parameters. This seems weird but is necessary
- * to support old K&R style programs.
- */
- D = Entry->V.F.Func;
- if (D->Flags & FD_EMPTY) {
- D->Flags = (D->Flags & ~(FD_EMPTY | FD_VARIADIC)) | FD_VOID_PARAM;
- }
-
/* Parse the function body */
NewFunc (Entry);
}
/* Are we supposed to compile or just preprocess the input? */
if (PreprocessOnly) {
+ /* Open the file */
+ OpenOutputFile ();
+
+ /* Preprocess each line and write it to the output file */
while (NextLine ()) {
Preprocess ();
- printf ("%.*s\n", SB_GetLen (Line), SB_GetConstBuf (Line));
+ WriteOutput ("%.*s\n", SB_GetLen (Line), SB_GetConstBuf (Line));
}
+ /* Close the output file */
+ CloseOutputFile ();
+
if (Debug) {
PrintMacroStats (stdout);
}