/*****************************************************************************/
/* */
-/* symtab.c */
+/* symtab.c */
/* */
-/* Symbol table management for the cc65 C compiler */
+/* Symbol table management for the cc65 C compiler */
/* */
/* */
/* */
-/* (C) 2000 Ullrich von Bassewitz */
-/* Wacholderweg 14 */
-/* D-70597 Stuttgart */
-/* EMail: uz@musoftware.de */
+/* (C) 2000-2013, Ullrich von Bassewitz */
+/* Roemerstrasse 52 */
+/* D-70794 Filderstadt */
+/* EMail: uz@cc65.org */
/* */
/* */
/* This software is provided 'as-is', without any expressed or implied */
#include <stdlib.h>
#include <stdarg.h>
#include <string.h>
-
-#include "../common/hashstr.h"
+/* common */
+#include "check.h"
+#include "debugflag.h"
+#include "hashfunc.h"
+#include "xmalloc.h"
+
+/* cc65 */
#include "asmcode.h"
#include "asmlabel.h"
-#include "check.h"
#include "codegen.h"
#include "datatype.h"
#include "declare.h"
#include "error.h"
#include "funcdesc.h"
#include "global.h"
-#include "io.h"
-#include "mem.h"
+#include "stackptr.h"
#include "symentry.h"
+#include "typecmp.h"
#include "symtab.h"
+#include "function.h"
+#include "input.h"
/*****************************************************************************/
-/* Data */
+/* Data */
/*****************************************************************************/
/* An empty symbol table */
-SymTable EmptySymTab = {
- 0, /* PrevTab */
- 0, /* SymHead */
- 0, /* SymTail */
- 0, /* SymCount */
- 1, /* Size */
- { 0 } /* Tab[1] */
+SymTable EmptySymTab = {
+ 0, /* PrevTab */
+ 0, /* SymHead */
+ 0, /* SymTail */
+ 0, /* SymCount */
+ 1, /* Size */
+ { 0 } /* Tab[1] */
};
/* Symbol table sizes */
-#define SYMTAB_SIZE_GLOBAL 211U
-#define SYMTAB_SIZE_FUNCTION 29U
-#define SYMTAB_SIZE_BLOCK 13U
-#define SYMTAB_SIZE_STRUCT 19U
-#define SYMTAB_SIZE_LABEL 7U
-
-/* Predefined lexical levels */
-#define LEX_LEVEL_GLOBAL 1U
+#define SYMTAB_SIZE_GLOBAL 211U
+#define SYMTAB_SIZE_FUNCTION 29U
+#define SYMTAB_SIZE_BLOCK 13U
+#define SYMTAB_SIZE_STRUCT 19U
+#define SYMTAB_SIZE_LABEL 7U
/* The current and root symbol tables */
-static unsigned LexicalLevel = 0; /* For safety checks */
-static SymTable* SymTab0 = 0;
-static SymTable* SymTab = 0;
-static SymTable* StructTab0 = 0;
-static SymTable* StructTab = 0;
-static SymTable* EnumTab0 = 0;
-static SymTable* EnumTab = 0;
-static SymTable* LabelTab = 0;
-
+static unsigned LexicalLevel = 0; /* For safety checks */
+static SymTable* SymTab0 = 0;
+static SymTable* SymTab = 0;
+static SymTable* TagTab0 = 0;
+static SymTable* TagTab = 0;
+static SymTable* LabelTab = 0;
+static SymTable* SPAdjustTab = 0;
/*****************************************************************************/
-/* struct SymTable */
+/* struct SymTable */
/*****************************************************************************/
SymTable* S = xmalloc (sizeof (SymTable) + (Size-1) * sizeof (SymEntry*));
/* Initialize the symbol table structure */
- S->PrevTab = 0;
- S->SymHead = 0;
- S->SymTail = 0;
- S->SymCount = 0;
- S->Size = Size;
+ S->PrevTab = 0;
+ S->SymHead = 0;
+ S->SymTail = 0;
+ S->SymCount = 0;
+ S->Size = Size;
for (I = 0; I < Size; ++I) {
- S->Tab[I] = 0;
+ S->Tab[I] = 0;
}
/* Return the symbol table */
/* Free all symbols */
SymEntry* Sym = S->SymHead;
while (Sym) {
- SymEntry* NextSym = Sym->NextSym;
- FreeSymEntry (Sym);
- Sym = NextSym;
+ SymEntry* NextSym = Sym->NextSym;
+ FreeSymEntry (Sym);
+ Sym = NextSym;
}
/* Free the table itself */
/*****************************************************************************/
-/* Check symbols in a table */
+/* Check symbols in a table */
/*****************************************************************************/
SymEntry* Entry = Tab->SymHead;
while (Entry) {
- /* Get the storage flags for tne entry */
- unsigned Flags = Entry->Flags;
-
- /* Ignore typedef entries */
- if ((Flags & SC_TYPEDEF) != SC_TYPEDEF) {
-
- /* Check if the symbol is one with storage, and it if it was
- * defined but not used.
- */
- if (((Flags & SC_AUTO) || (Flags & SC_STATIC)) && (Flags & SC_EXTERN) == 0) {
- if ((Flags & SC_DEF) && !(Flags & SC_REF)) {
- if (Flags & SC_PARAM) {
- Warning (WARN_UNUSED_PARM, Entry->Name);
- } else {
- Warning (WARN_UNUSED_ITEM, Entry->Name);
- }
- }
- }
-
- /* If the entry is a label, check if it was defined in the function */
- if (Flags & SC_LABEL) {
- if ((Flags & SC_DEF) == 0) {
- /* Undefined label */
- Error (ERR_UNDEFINED_LABEL, Entry->Name);
- } else if ((Flags & SC_REF) == 0) {
- /* Defined but not used */
- Warning (WARN_UNUSED_ITEM, Entry->Name);
- }
- }
-
- }
-
- /* Next entry */
- Entry = Entry->NextSym;
+ /* Get the storage flags for tne entry */
+ unsigned Flags = Entry->Flags;
+
+ /* Ignore typedef entries */
+ if (!SymIsTypeDef (Entry)) {
+
+ /* Check if the symbol is one with storage, and it if it was
+ ** defined but not used.
+ */
+ if (((Flags & SC_AUTO) || (Flags & SC_STATIC)) && (Flags & SC_EXTERN) == 0) {
+ if (SymIsDef (Entry) && !SymIsRef (Entry) &&
+ !SymHasAttr (Entry, atUnused)) {
+ if (Flags & SC_PARAM) {
+ if (IS_Get (&WarnUnusedParam)) {
+ Warning ("Parameter '%s' is never used", Entry->Name);
+ }
+ } else {
+ if (IS_Get (&WarnUnusedVar)) {
+ Warning ("'%s' is defined but never used", Entry->Name);
+ }
+ }
+ }
+ }
+
+ /* If the entry is a label, check if it was defined in the function */
+ if (Flags & SC_LABEL) {
+ if (!SymIsDef (Entry)) {
+ /* Undefined label */
+ Error ("Undefined label: '%s'", Entry->Name);
+ } else if (!SymIsRef (Entry)) {
+ /* Defined but not used */
+ if (IS_Get (&WarnUnusedLabel)) {
+ Warning ("'%s' is defined but never used", Entry->Name);
+ }
+ }
+ }
+
+ }
+
+ /* Next entry */
+ Entry = Entry->NextSym;
}
}
/*****************************************************************************/
-/* Handling of lexical levels */
+/* Handling of lexical levels */
/*****************************************************************************/
+unsigned GetLexicalLevel (void)
+/* Return the current lexical level */
+{
+ return LexicalLevel;
+}
+
+
+
void EnterGlobalLevel (void)
/* Enter the program global lexical level */
{
/* Create and assign the symbol table */
SymTab0 = SymTab = NewSymTable (SYMTAB_SIZE_GLOBAL);
- /* Create and assign the struct table */
- StructTab0 = StructTab = NewSymTable (SYMTAB_SIZE_GLOBAL);
+ /* Create and assign the tag table */
+ TagTab0 = TagTab = NewSymTable (SYMTAB_SIZE_GLOBAL);
- /* Create and assign the enum table */
- EnumTab0 = EnumTab = NewSymTable (SYMTAB_SIZE_GLOBAL);
+ /* Create and assign the table of SP adjustment symbols */
+ SPAdjustTab = NewSymTable (SYMTAB_SIZE_GLOBAL);
}
/* Dump the tables if requested */
if (Debug) {
- PrintSymTable (SymTab0, stdout, "Global symbol table");
- PrintSymTable (StructTab0, stdout, "Global struct table");
- PrintSymTable (EnumTab0, stdout, "Global enum table");
+ PrintSymTable (SymTab0, stdout, "Global symbol table");
+ PrintSymTable (TagTab0, stdout, "Global tag table");
}
/* Don't delete the symbol and struct tables! */
- SymTab0 = SymTab = 0;
- StructTab0 = StructTab = 0;
- EnumTab0 = EnumTab = 0;
+ SymTab = 0;
+ TagTab = 0;
}
S->PrevTab = SymTab;
SymTab = S;
- /* Get a new struct table and make it current */
- S = NewSymTable (SYMTAB_SIZE_FUNCTION);
- S->PrevTab = StructTab;
- StructTab = S;
-
- /* Get a new enum table and make it current */
+ /* Get a new tag table and make it current */
S = NewSymTable (SYMTAB_SIZE_FUNCTION);
- S->PrevTab = EnumTab;
- EnumTab = S;
+ S->PrevTab = TagTab;
+ TagTab = S;
/* Create and assign a new label table */
- LabelTab = NewSymTable (SYMTAB_SIZE_LABEL);
+ S = NewSymTable (SYMTAB_SIZE_LABEL);
+ S->PrevTab = LabelTab;
+ LabelTab = S;
}
--LexicalLevel;
/* Remember the tables */
- F->SymTab = SymTab;
- F->StructTab = StructTab;
- F->EnumTab = EnumTab;
+ F->SymTab = SymTab;
+ F->TagTab = TagTab;
/* Don't delete the tables */
- SymTab = SymTab->PrevTab;
- StructTab = StructTab->PrevTab;
- EnumTab = EnumTab->PrevTab;
+ SymTab = SymTab->PrevTab;
+ TagTab = TagTab->PrevTab;
+ LabelTab = LabelTab->PrevTab;
}
F->SymTab->PrevTab = SymTab;
SymTab = F->SymTab;
- F->StructTab->PrevTab = StructTab;
- StructTab = F->StructTab;
-
- F->EnumTab->PrevTab = EnumTab;
- EnumTab = F->EnumTab;
+ F->TagTab->PrevTab = TagTab;
+ TagTab = F->TagTab;
/* Create and assign a new label table */
LabelTab = NewSymTable (SYMTAB_SIZE_LABEL);
/* Drop the label table if it is empty */
if (LabelTab->SymCount == 0) {
- FreeSymTable (LabelTab);
+ FreeSymTable (LabelTab);
}
/* Don't delete the tables */
- SymTab = SymTab->PrevTab;
- StructTab = StructTab->PrevTab;
- EnumTab = EnumTab->PrevTab;
+ SymTab = SymTab->PrevTab;
+ TagTab = TagTab->PrevTab;
LabelTab = 0;
}
/* Get a new symbol table and make it current */
S = NewSymTable (SYMTAB_SIZE_BLOCK);
- S->PrevTab = SymTab;
- SymTab = S;
-
- /* Get a new struct table and make it current */
- S = NewSymTable (SYMTAB_SIZE_BLOCK);
- S->PrevTab = StructTab;
- StructTab = S;
+ S->PrevTab = SymTab;
+ SymTab = S;
- /* Get a new enum table and make it current */
+ /* Get a new tag table and make it current */
S = NewSymTable (SYMTAB_SIZE_BLOCK);
- S->PrevTab = EnumTab;
- EnumTab = S;
+ S->PrevTab = TagTab;
+ TagTab = S;
}
CheckSymTable (SymTab);
/* Don't delete the tables */
- SymTab = SymTab->PrevTab;
- StructTab = StructTab->PrevTab;
- EnumTab = EnumTab->PrevTab;
+ SymTab = SymTab->PrevTab;
+ TagTab = TagTab->PrevTab;
}
SymTable* S;
/* Get a new symbol table and make it current. Note: Structs and enums
- * nested in struct scope are NOT local to the struct but visible in the
- * outside scope. So we will NOT create a new struct or enum table.
- */
+ ** nested in struct scope are NOT local to the struct but visible in the
+ ** outside scope. So we will NOT create a new struct or enum table.
+ */
S = NewSymTable (SYMTAB_SIZE_BLOCK);
- S->PrevTab = SymTab;
- SymTab = S;
+ S->PrevTab = SymTab;
+ SymTab = S;
}
/*****************************************************************************/
-/* Find functions */
+/* Find functions */
/*****************************************************************************/
/* Get the start of the hash chain */
SymEntry* E = T->Tab [Hash % T->Size];
while (E) {
- /* Compare the name */
- if (strcmp (E->Name, Name) == 0) {
- /* Found */
- return E;
- }
- /* Not found, next entry in hash chain */
- E = E->NextHash;
+ /* Compare the name */
+ if (strcmp (E->Name, Name) == 0) {
+ /* Found */
+ return E;
+ }
+ /* Not found, next entry in hash chain */
+ E = E->NextHash;
}
/* Not found */
/* Check all symbol tables for the symbol */
while (Tab) {
- /* Try to find the symbol in this table */
- SymEntry* E = FindSymInTable (Tab, Name, Hash);
+ /* Try to find the symbol in this table */
+ SymEntry* E = FindSymInTable (Tab, Name, Hash);
- /* Bail out if we found it */
- if (E != 0) {
- return E;
- }
+ /* Bail out if we found it */
+ if (E != 0) {
+ return E;
+ }
- /* Repeat the search in the next higher lexical level */
- Tab = Tab->PrevTab;
+ /* Repeat the search in the next higher lexical level */
+ Tab = Tab->PrevTab;
}
/* Not found */
-SymEntry* FindStructSym (const char* Name)
-/* Find the symbol with the given name in the struct table */
+SymEntry* FindGlobalSym (const char* Name)
+/* Find the symbol with the given name in the global symbol table only */
{
- return FindSymInTree (StructTab, Name);
+ return FindSymInTable (SymTab0, Name, HashStr (Name));
}
-SymEntry* FindEnumSym (const char* Name)
-/* Find the symbol with the given name in the enum table */
+SymEntry* FindLocalSym (const char* Name)
+/* Find the symbol with the given name in the current symbol table only */
{
- return FindSymInTree (EnumTab, Name);
+ return FindSymInTable (SymTab, Name, HashStr (Name));
}
-SymEntry* FindStructField (const type* Type, const char* Name)
+SymEntry* FindTagSym (const char* Name)
+/* Find the symbol with the given name in the tag table */
+{
+ return FindSymInTree (TagTab, Name);
+}
+
+
+
+SymEntry* FindStructField (const Type* T, const char* Name)
/* Find a struct field in the fields list */
{
SymEntry* Field = 0;
/* The given type may actually be a pointer to struct */
- if (Type[0] == T_PTR) {
- ++Type;
+ if (IsTypePtr (T)) {
+ ++T;
}
/* Non-structs do not have any struct fields... */
- if (IsStruct (Type)) {
-
- const SymTable* Tab;
-
- /* Get a pointer to the struct/union type */
- const SymEntry* Struct = (const SymEntry*) Decode (Type+1);
- CHECK (Struct != 0);
-
- /* Get the field symbol table from the struct entry.
- * Beware: The table may not exist.
- */
- Tab = Struct->V.S.SymTab;
-
- /* Now search in the struct symbol table */
- if (Tab) {
- Field = FindSymInTable (Struct->V.S.SymTab, Name, HashStr (Name));
- }
+ if (IsClassStruct (T)) {
+
+ /* Get a pointer to the struct/union type */
+ const SymEntry* Struct = GetSymEntry (T);
+ CHECK (Struct != 0);
+
+ /* Now search in the struct symbol table. Beware: The table may not
+ ** exist.
+ */
+ if (Struct->V.S.SymTab) {
+ Field = FindSymInTable (Struct->V.S.SymTab, Name, HashStr (Name));
+ }
}
return Field;
/*****************************************************************************/
-/* Add stuff to the symbol table */
+/* Add stuff to the symbol table */
/*****************************************************************************/
/* Insert the symbol into the list of all symbols in this level */
if (T->SymTail) {
- T->SymTail->NextSym = S;
+ T->SymTail->NextSym = S;
}
S->PrevSym = T->SymTail;
T->SymTail = S;
if (T->SymHead == 0) {
- /* First symbol */
- T->SymHead = S;
+ /* First symbol */
+ T->SymHead = S;
}
- T->SymCount++;
+ ++T->SymCount;
/* Insert the symbol into the hash chain */
S->NextHash = T->Tab[Hash];
-SymEntry* AddStructSym (const char* Name, unsigned Size, SymTable* Tab)
+SymEntry* AddStructSym (const char* Name, unsigned Type, unsigned Size, SymTable* Tab)
/* Add a struct/union entry and return it */
{
+ SymEntry* Entry;
+
+ /* Type must be struct or union */
+ PRECONDITION (Type == SC_STRUCT || Type == SC_UNION);
+
/* Do we have an entry with this name already? */
- SymEntry* Entry = FindSymInTable (StructTab, Name, HashStr (Name));
+ Entry = FindSymInTable (TagTab, Name, HashStr (Name));
if (Entry) {
- /* We do have an entry. This may be a forward, so check it. */
- if (Entry->Flags != SC_STRUCT) {
- /* Existing symbol is not a struct */
- Error (ERR_SYMBOL_KIND);
- } else if (Size > 0 && Entry->V.S.Size > 0) {
- /* Both structs are definitions. */
- Error (ERR_MULTIPLE_DEFINITION, Name);
- } else {
- /* Define the struct size if it is given */
- if (Size > 0) {
- Entry->V.S.SymTab = Tab;
- Entry->V.S.Size = Size;
- }
- }
+ /* We do have an entry. This may be a forward, so check it. */
+ if ((Entry->Flags & SC_TYPEMASK) != Type) {
+ /* Existing symbol is not a struct */
+ Error ("Symbol '%s' is already different kind", Name);
+ } else if (Size > 0 && Entry->V.S.Size > 0) {
+ /* Both structs are definitions. */
+ Error ("Multiple definition for '%s'", Name);
+ } else {
+ /* Define the struct size if it is given */
+ if (Size > 0) {
+ Entry->V.S.SymTab = Tab;
+ Entry->V.S.Size = Size;
+ }
+ }
} else {
- /* Create a new entry */
- Entry = NewSymEntry (Name, SC_STRUCT);
+ /* Create a new entry */
+ Entry = NewSymEntry (Name, Type);
- /* Set the struct data */
- Entry->V.S.SymTab = Tab;
- Entry->V.S.Size = Size;
+ /* Set the struct data */
+ Entry->V.S.SymTab = Tab;
+ Entry->V.S.Size = Size;
- /* Add it to the current table */
- AddSymEntry (StructTab, Entry);
+ /* Add it to the current table */
+ AddSymEntry (TagTab, Entry);
}
/* Return the entry */
-SymEntry* AddEnumSym (const char* Name, int Val)
-/* Add an enum symbol to the symbol table and return it */
+SymEntry* AddBitField (const char* Name, unsigned Offs, unsigned BitOffs, unsigned Width)
+/* Add a bit field to the local symbol table and return the symbol entry */
{
/* Do we have an entry with this name already? */
SymEntry* Entry = FindSymInTable (SymTab, Name, HashStr (Name));
if (Entry) {
- if (Entry->Flags != SC_ENUM) {
- Error (ERR_SYMBOL_KIND);
- } else {
- Error (ERR_MULTIPLE_DEFINITION, Name);
- }
- return Entry;
+
+ /* We have a symbol with this name already */
+ Error ("Multiple definition for '%s'", Name);
+
+ } else {
+
+ /* Create a new entry */
+ Entry = NewSymEntry (Name, SC_BITFIELD);
+
+ /* Set the symbol attributes. Bit-fields are always of type unsigned */
+ Entry->Type = type_uint;
+ Entry->V.B.Offs = Offs;
+ Entry->V.B.BitOffs = BitOffs;
+ Entry->V.B.BitWidth = Width;
+
+ /* Add the entry to the symbol table */
+ AddSymEntry (SymTab, Entry);
+
+ }
+
+ /* Return the entry */
+ return Entry;
+}
+
+
+
+SymEntry* AddConstSym (const char* Name, const Type* T, unsigned Flags, long Val)
+/* Add an constant symbol to the symbol table and return it */
+{
+ /* Enums must be inserted in the global symbol table */
+ SymTable* Tab = ((Flags & SC_ENUM) == SC_ENUM)? SymTab0 : SymTab;
+
+ /* Do we have an entry with this name already? */
+ SymEntry* Entry = FindSymInTable (Tab, Name, HashStr (Name));
+ if (Entry) {
+ if ((Entry->Flags & SC_CONST) != SC_CONST) {
+ Error ("Symbol '%s' is already different kind", Name);
+ } else {
+ Error ("Multiple definition for '%s'", Name);
+ }
+ return Entry;
}
/* Create a new entry */
- Entry = NewSymEntry (Name, SC_ENUM);
+ Entry = NewSymEntry (Name, Flags);
/* Enum values are ints */
- Entry->Type = TypeDup (type_int);
+ Entry->Type = TypeDup (T);
/* Set the enum data */
- Entry->V.EnumVal = Val;
+ Entry->V.ConstVal = Val;
/* Add the entry to the symbol table */
- AddSymEntry (SymTab, Entry);
+ AddSymEntry (Tab, Entry);
/* Return the entry */
return Entry;
}
+DefOrRef* AddDefOrRef (SymEntry* E, unsigned Flags)
+/* Add definition or reference to the SymEntry and preserve its attributes */
+{
+ DefOrRef *DOR;
+
+ DOR = xmalloc (sizeof (DefOrRef));
+ CollAppend (E->V.L.DefsOrRefs, DOR);
+ DOR->Line = GetCurrentLine ();
+ DOR->LocalsBlockId = (ssize_t)CollLast (&CurrentFunc->LocalsBlockStack);
+ DOR->Flags = Flags;
+ DOR->StackPtr = StackPtr;
+ DOR->Depth = CollCount (&CurrentFunc->LocalsBlockStack);
+ DOR->LateSP_Label = GetLocalLabel ();
+
+ return DOR;
+}
+
+unsigned short FindSPAdjustment (const char* Name)
+/* Search for an entry in the table of SP adjustments */
+{
+ SymEntry* Entry = FindSymInTable (SPAdjustTab, Name, HashStr (Name));
+
+ if (!Entry) {
+ Internal ("No SP adjustment label entry found");
+ }
+
+ return Entry->V.SPAdjustment;
+}
SymEntry* AddLabelSym (const char* Name, unsigned Flags)
/* Add a goto label to the label table */
{
+ unsigned i;
+ DefOrRef *DOR, *NewDOR;
+ /* We juggle it so much that a shortcut will help with clarity */
+ Collection *AIC = &CurrentFunc->LocalsBlockStack;
+
/* Do we have an entry with this name already? */
SymEntry* Entry = FindSymInTable (LabelTab, Name, HashStr (Name));
if (Entry) {
- if ((Entry->Flags & SC_DEF) != 0 && (Flags & SC_DEF) != 0) {
- /* Trying to define the label more than once */
- Error (ERR_MULTIPLE_DEFINITION, Name);
- }
- Entry->Flags |= Flags;
+ if (SymIsDef (Entry) && (Flags & SC_DEF) != 0) {
+ /* Trying to define the label more than once */
+ Error ("Label '%s' is defined more than once", Name);
+ }
+
+ NewDOR = AddDefOrRef (Entry, Flags);
+
+ /* Walk through all occurrences of the label so far and evaluate
+ ** their relationship with the one passed to the function.
+ */
+ for (i = 0; i < CollCount (Entry->V.L.DefsOrRefs); i++) {
+ DOR = CollAt (Entry->V.L.DefsOrRefs, i);
+
+ if ((DOR->Flags & SC_DEF) && (Flags & SC_REF) && (Flags & SC_GOTO)) {
+ /* We're processing a goto and here is its destination label.
+ ** This means the difference between SP values is already known,
+ ** so we simply emit the SP adjustment code.
+ */
+ if (StackPtr != DOR->StackPtr) {
+ g_space (StackPtr - DOR->StackPtr);
+ }
+
+ /* Are we jumping into a block with initalization of an object that
+ ** has automatic storage duration? Let's emit a warning.
+ */
+ if ((size_t)CollLast (AIC) != (size_t)(DOR->LocalsBlockId) &&
+ (CollCount (AIC) < DOR->Depth ||
+ (size_t)CollAt (AIC, DOR->Depth - 1) != DOR->LocalsBlockId)) {
+ Warning ("Goto at line %d to label %s jumps into a block with "
+ "initialization of an object that has automatic storage duration",
+ GetCurrentLine (), Name);
+ }
+ }
+
+
+ if ((DOR->Flags & SC_REF) && (DOR->Flags & SC_GOTO) && (Flags & SC_DEF)) {
+ /* We're processing a label, let's update all gotos encountered
+ ** so far
+ */
+ SymEntry *E;
+ g_userodata();
+ g_defdatalabel (DOR->LateSP_Label);
+ g_defdata (CF_CONST | CF_INT, StackPtr - DOR->StackPtr, 0);
+
+ /* Optimizer will need the information about the value of SP adjustment
+ ** later, so let's preserve it.
+ */
+ E = NewSymEntry (LocalLabelName (DOR->LateSP_Label), SC_SPADJUSTMENT);
+ E->V.SPAdjustment = StackPtr - DOR->StackPtr;
+ AddSymEntry (SPAdjustTab, E);
+
+ /* Are we jumping into a block with initalization of an object that
+ ** has automatic storage duration? Let's emit a warning.
+ */
+ if ((ssize_t)CollLast (AIC) != DOR->LocalsBlockId &&
+ (CollCount (AIC) >= DOR->Depth ||
+ (ssize_t)CollLast (AIC) >= (long)DOR->Line))
+ Warning ("Goto at line %d to label %s jumps into a block with "
+ "initialization of an object that has automatic storage duration",
+ DOR->Line, Name);
+ }
+
+ }
+
+ Entry->Flags |= Flags;
} else {
- /* Create a new entry */
- Entry = NewSymEntry (Name, SC_LABEL | Flags);
+ /* Create a new entry */
+ Entry = NewSymEntry (Name, SC_LABEL | Flags);
- /* Set a new label number */
- Entry->V.Label = GetLabel ();
+ /* Set a new label number */
+ Entry->V.L.Label = GetLocalLabel ();
- /* Add the entry to the label table */
- AddSymEntry (LabelTab, Entry);
+ /* Create Collection for label definition and references */
+ Entry->V.L.DefsOrRefs = NewCollection ();
+ NewDOR = AddDefOrRef (Entry, Flags);
+
+ /* Generate the assembler name of the label */
+ Entry->AsmName = xstrdup (LocalLabelName (Entry->V.L.Label));
+
+ /* Add the entry to the label table */
+ AddSymEntry (LabelTab, Entry);
}
+ /* We are processing a goto, but the label has not yet been defined */
+ if (!SymIsDef (Entry) && (Flags & SC_REF) && (Flags & SC_GOTO)) {
+ g_lateadjustSP (NewDOR->LateSP_Label);
+ }
+
/* Return the entry */
return Entry;
}
-SymEntry* AddLocalSym (const char* Name, type* Type, unsigned Flags, int Offs)
+SymEntry* AddLocalSym (const char* Name, const Type* T, unsigned Flags, int Offs)
/* Add a local symbol and return the symbol entry */
{
- SymEntry* Entry;
-
- /* Functions declared inside of functions do always have external linkage */
- if (Type != 0 && IsFunc (Type)) {
- if ((Flags & (SC_DEFAULT | SC_EXTERN)) == 0) {
- Warning (WARN_FUNC_MUST_BE_EXTERN);
- }
- Flags = SC_EXTERN;
- }
-
/* Do we have an entry with this name already? */
- Entry = FindSymInTable (SymTab, Name, HashStr (Name));
+ SymEntry* Entry = FindSymInTable (SymTab, Name, HashStr (Name));
if (Entry) {
- /* We have a symbol with this name already */
- Error (ERR_MULTIPLE_DEFINITION, Name);
+ /* We have a symbol with this name already */
+ Error ("Multiple definition for '%s'", Name);
} else {
- /* Create a new entry */
- Entry = NewSymEntry (Name, Flags);
-
- /* Set the symbol attributes */
- Entry->Type = TypeDup (Type);
- Entry->V.Offs = Offs;
-
- /* Add the entry to the symbol table */
- AddSymEntry (SymTab, Entry);
+ /* Create a new entry */
+ Entry = NewSymEntry (Name, Flags);
+
+ /* Set the symbol attributes */
+ Entry->Type = TypeDup (T);
+ if ((Flags & SC_AUTO) == SC_AUTO) {
+ Entry->V.Offs = Offs;
+ } else if ((Flags & SC_REGISTER) == SC_REGISTER) {
+ Entry->V.R.RegOffs = Offs;
+ Entry->V.R.SaveOffs = StackPtr;
+ } else if ((Flags & SC_EXTERN) == SC_EXTERN) {
+ Entry->V.L.Label = Offs;
+ SymSetAsmName (Entry);
+ } else if ((Flags & SC_STATIC) == SC_STATIC) {
+ /* Generate the assembler name from the label number */
+ Entry->V.L.Label = Offs;
+ Entry->AsmName = xstrdup (LocalLabelName (Entry->V.L.Label));
+ } else if ((Flags & SC_STRUCTFIELD) == SC_STRUCTFIELD) {
+ Entry->V.Offs = Offs;
+ } else {
+ Internal ("Invalid flags in AddLocalSym: %04X", Flags);
+ }
+
+ /* Add the entry to the symbol table */
+ AddSymEntry (SymTab, Entry);
}
-SymEntry* AddGlobalSym (const char* Name, type* Type, unsigned Flags)
+SymEntry* AddGlobalSym (const char* Name, const Type* T, unsigned Flags)
/* Add an external or global symbol to the symbol table and return the entry */
{
+ /* There is some special handling for functions, so check if it is one */
+ int IsFunc = IsTypeFunc (T);
+
/* Functions must be inserted in the global symbol table */
- SymTable* Tab = IsFunc (Type)? SymTab0 : SymTab;
+ SymTable* Tab = IsFunc? SymTab0 : SymTab;
/* Do we have an entry with this name already? */
SymEntry* Entry = FindSymInTable (Tab, Name, HashStr (Name));
if (Entry) {
-
- type* EType;
-
- /* We have a symbol with this name already */
- if (Entry->Flags & SC_TYPE) {
- Error (ERR_MULTIPLE_DEFINITION, Name);
- return Entry;
- }
-
- /* Get the type string of the existing symbol */
- EType = Entry->Type;
-
- /* If we are handling arrays, the old entry or the new entry may be an
- * incomplete declaration. Accept this, and if the exsting entry is
- * incomplete, complete it.
- */
- if (IsArray (Type) && IsArray (EType)) {
-
- /* Get the array sizes */
- unsigned Size = Decode (Type + 1);
- unsigned ESize = Decode (EType + 1);
-
- if ((Size != 0 && ESize != 0) ||
- TypeCmp (Type+DECODE_SIZE+1, EType+DECODE_SIZE+1) != 0) {
- /* Types not identical: Duplicate definition */
- Error (ERR_MULTIPLE_DEFINITION, Name);
- } else {
- /* Check if we have a size in the existing definition */
- if (ESize == 0) {
- /* Existing, size not given, use size from new def */
- Encode (EType + 1, Size);
- }
- }
-
- } else {
- /* New type must be identical */
- if (!EqualTypes (EType, Type) != 0) {
- Error (ERR_MULTIPLE_DEFINITION, Name);
- }
-
- /* In case of a function, use the new type descriptor, since it
- * contains pointers to the new symbol tables that are needed if
- * an actual function definition follows.
- */
- if (IsFunc (Type)) {
- CopyEncode (Type+1, EType+1);
- }
- }
-
- /* Add the new flags */
- Entry->Flags |= Flags;
+ Type* EType;
+
+ /* If the existing symbol is an enumerated constant,
+ ** then avoid a compiler crash. See GitHub issue #728.
+ */
+ if (Entry->Flags & SC_ENUM) {
+ Fatal ("Can't redeclare enum constant '%s' as global variable", Name);
+ }
+
+ /* We have a symbol with this name already */
+ if (Entry->Flags & SC_TYPE) {
+ Error ("Multiple definition for '%s'", Name);
+ return Entry;
+ }
+
+ /* Get the type string of the existing symbol */
+ EType = Entry->Type;
+
+ /* If we are handling arrays, the old entry or the new entry may be an
+ ** incomplete declaration. Accept this, and if the exsting entry is
+ ** incomplete, complete it.
+ */
+ if (IsTypeArray (T) && IsTypeArray (EType)) {
+
+ /* Get the array sizes */
+ long Size = GetElementCount (T);
+ long ESize = GetElementCount (EType);
+
+ if ((Size != UNSPECIFIED && ESize != UNSPECIFIED && Size != ESize) ||
+ TypeCmp (T + 1, EType + 1) < TC_EQUAL) {
+ /* Types not identical: Conflicting types */
+ Error ("Conflicting types for '%s'", Name);
+ return Entry;
+ } else {
+ /* Check if we have a size in the existing definition */
+ if (ESize == UNSPECIFIED) {
+ /* Existing, size not given, use size from new def */
+ SetElementCount (EType, Size);
+ }
+ }
+
+ } else {
+ /* New type must be identical */
+ if (TypeCmp (EType, T) < TC_EQUAL) {
+ Error ("Conflicting types for '%s'", Name);
+ return Entry;
+ }
+
+ /* In case of a function, use the new type descriptor, since it
+ ** contains pointers to the new symbol tables that are needed if
+ ** an actual function definition follows. Be sure not to use the
+ ** new descriptor if it contains a function declaration with an
+ ** empty parameter list.
+ */
+ if (IsFunc) {
+ /* Get the function descriptor from the new type */
+ FuncDesc* F = GetFuncDesc (T);
+ /* Use this new function descriptor if it doesn't contain
+ ** an empty parameter list.
+ */
+ if ((F->Flags & FD_EMPTY) == 0) {
+ Entry->V.F.Func = F;
+ SetFuncDesc (EType, F);
+ }
+ }
+ }
+
+ /* If a static declaration follows a non-static declaration, then
+ ** warn about the conflict. (It will compile a public declaration.)
+ */
+ if ((Flags & SC_EXTERN) == 0 && (Entry->Flags & SC_EXTERN) != 0) {
+ Warning ("static declaration follows non-static declaration of '%s'.", Name);
+ }
+
+ /* An extern declaration must not change the current linkage. */
+ if (IsFunc || (Flags & (SC_EXTERN | SC_STORAGE)) == SC_EXTERN) {
+ Flags &= ~SC_EXTERN;
+ }
+
+ /* If a public declaration follows a static declaration, then
+ ** warn about the conflict. (It will compile a public declaration.)
+ */
+ if ((Flags & SC_EXTERN) != 0 && (Entry->Flags & SC_EXTERN) == 0) {
+ Warning ("public declaration follows static declaration of '%s'.", Name);
+ }
+
+ /* Add the new flags */
+ Entry->Flags |= Flags;
} else {
- /* Create a new entry */
- Entry = NewSymEntry (Name, Flags);
+ /* Create a new entry */
+ Entry = NewSymEntry (Name, Flags);
+
+ /* Set the symbol attributes */
+ Entry->Type = TypeDup (T);
- /* Set the symbol attributes */
- Entry->Type = TypeDup (Type);
+ /* If this is a function, set the function descriptor and clear
+ ** additional fields.
+ */
+ if (IsFunc) {
+ Entry->V.F.Func = GetFuncDesc (Entry->Type);
+ Entry->V.F.Seg = 0;
+ }
- /* Add the entry to the symbol table */
- AddSymEntry (Tab, Entry);
+ /* Add the assembler name of the symbol */
+ SymSetAsmName (Entry);
+
+ /* Add the entry to the symbol table */
+ AddSymEntry (Tab, Entry);
}
/* Return the entry */
/*****************************************************************************/
-/* Code */
+/* Code */
/*****************************************************************************/
-static int EqualSymTables (SymTable* Tab1, SymTable* Tab2)
-/* Compare two symbol tables. Return 1 if they are equal and 0 otherwise */
+SymTable* GetGlobalSymTab (void)
+/* Return the global symbol table */
{
- /* Compare the parameter lists */
- SymEntry* Sym1 = Tab1->SymHead;
- SymEntry* Sym2 = Tab2->SymHead;
-
- /* Compare the fields */
- while (Sym1 && Sym2) {
-
- /* Compare this field */
- if (!EqualTypes (Sym1->Type, Sym2->Type)) {
- /* Field types not equal */
- return 0;
- }
-
- /* Get the pointers to the next fields */
- Sym1 = Sym1->NextSym;
- Sym2 = Sym2->NextSym;
- }
-
- /* Check both pointers against NULL to compare the field count */
- return (Sym1 == 0 && Sym2 == 0);
+ return SymTab0;
}
-int EqualTypes (const type* Type1, const type* Type2)
-/* Recursively compare two types. Return 1 if the types match, return 0
- * otherwise.
- */
+int SymIsLocal (SymEntry* Sym)
+/* Return true if the symbol is defined in the highest lexical level */
{
- int v1, v2;
- SymEntry* Sym1;
- SymEntry* Sym2;
- SymTable* Tab1;
- SymTable* Tab2;
- FuncDesc* F1;
- FuncDesc* F2;
-
-
- /* Shortcut here: If the pointers are identical, the types are identical */
- if (Type1 == Type2) {
- return 1;
- }
-
- /* Compare two types. Determine, where they differ */
- while (*Type1 == *Type2 && *Type1 != T_END) {
-
- switch (*Type1) {
-
- case T_FUNC:
- /* Compare the function descriptors */
- F1 = DecodePtr (Type1+1);
- F2 = DecodePtr (Type2+1);
- if ((F1->Flags & ~FD_IMPLICIT) != (F2->Flags & ~FD_IMPLICIT)) {
- /* Flags differ */
- return 0;
- }
-
- /* Compare the parameter lists */
- if (EqualSymTables (F1->SymTab, F2->SymTab) == 0 ||
- EqualSymTables (F1->StructTab, F2->StructTab) == 0 ||
- EqualSymTables (F1->EnumTab, F2->EnumTab) == 0) {
- /* One of the tables is not identical */
- return 0;
- }
-
- /* Skip the FuncDesc pointers to compare the return type */
- Type1 += DECODE_SIZE;
- Type2 += DECODE_SIZE;
- break;
-
- case T_ARRAY:
- /* Check member count */
- v1 = Decode (Type1+1);
- v2 = Decode (Type2+1);
- if (v1 != 0 && v2 != 0 && v1 != v2) {
- /* Member count given but different */
- return 0;
- }
- Type1 += DECODE_SIZE;
- Type2 += DECODE_SIZE;
- break;
-
- case T_STRUCT:
- case T_UNION:
- /* Compare the fields recursively. To do that, we fetch the
- * pointer to the struct definition from the type, and compare
- * the fields.
- */
- Sym1 = DecodePtr (Type1+1);
- Sym2 = DecodePtr (Type2+1);
-
- /* Get the field tables from the struct entry */
- Tab1 = Sym1->V.S.SymTab;
- Tab2 = Sym2->V.S.SymTab;
-
- /* One or both structs may be forward definitions. In this case,
- * the symbol tables are both non existant. Assume that the
- * structs are equal in this case.
- */
- if (Tab1 != 0 && Tab2 != 0) {
-
- if (EqualSymTables (Tab1, Tab2) == 0) {
- /* Field lists are not equal */
- return 0;
- }
-
- }
-
- /* Structs are equal */
- Type1 += DECODE_SIZE;
- Type2 += DECODE_SIZE;
- break;
- }
- ++Type1;
- ++Type2;
- }
-
- /* Done, types are equal */
- return 1;
+ return (Sym->Owner == SymTab || Sym->Owner == TagTab);
}
/* Mark the symbol as zeropage */
if (Entry) {
- Entry->Flags |= SC_ZEROPAGE;
+ Entry->Flags |= SC_ZEROPAGE;
} else {
- Error (ERR_UNDEFINED_SYMBOL, Name);
+ Error ("Undefined symbol: '%s'", Name);
}
}
/* Underline the header */
while (Len--) {
- fputc ('=', F);
+ fputc ('=', F);
}
fputc ('\n', F);
/* Dump the table */
Entry = Tab->SymHead;
if (Entry == 0) {
- fprintf (F, "(empty)\n");
+ fprintf (F, "(empty)\n");
} else {
- while (Entry) {
- DumpSymEntry (F, Entry);
- Entry = Entry->NextSym;
- }
+ while (Entry) {
+ DumpSymEntry (F, Entry);
+ Entry = Entry->NextSym;
+ }
}
fprintf (F, "\n\n\n");
}
{
SymEntry* Entry;
- AddEmptyLine ();
-
Entry = SymTab->SymHead;
while (Entry) {
- unsigned Flags = Entry->Flags;
- if (Flags & SC_EXTERN) {
- /* Only defined or referenced externs */
- if ((Flags & SC_REF) != 0 && (Flags & SC_DEF) == 0) {
- /* An import */
- g_defimport (Entry->Name, Flags & SC_ZEROPAGE);
- } else if (Flags & SC_DEF) {
- /* An export */
- g_defexport (Entry->Name, Flags & SC_ZEROPAGE);
- }
- }
- Entry = Entry->NextSym;
+ unsigned Flags = Entry->Flags;
+ if (Flags & SC_EXTERN) {
+ /* Only defined or referenced externs */
+ if (SymIsRef (Entry) && !SymIsDef (Entry)) {
+ /* An import */
+ g_defimport (Entry->Name, Flags & SC_ZEROPAGE);
+ } else if (SymIsDef (Entry)) {
+ /* An export */
+ g_defexport (Entry->Name, Flags & SC_ZEROPAGE);
+ }
+ }
+ Entry = Entry->NextSym;
}
}
+void EmitDebugInfo (void)
+/* Emit debug infos for the locals of the current scope */
+{
+ const char* Head;
+ const SymEntry* Sym;
+
+ /* Output info for locals if enabled */
+ if (DebugInfo) {
+ /* For cosmetic reasons in the output file, we will insert two tabs
+ ** on global level and just one on local level.
+ */
+ if (LexicalLevel == LEX_LEVEL_GLOBAL) {
+ Head = "\t.dbg\t\tsym";
+ } else {
+ Head = "\t.dbg\tsym";
+ }
+ Sym = SymTab->SymHead;
+ while (Sym) {
+ if ((Sym->Flags & (SC_CONST|SC_TYPE)) == 0) {
+ if (Sym->Flags & SC_AUTO) {
+ AddTextLine ("%s, \"%s\", \"00\", auto, %d",
+ Head, Sym->Name, Sym->V.Offs);
+ } else if (Sym->Flags & SC_REGISTER) {
+ AddTextLine ("%s, \"%s\", \"00\", register, \"regbank\", %d",
+ Head, Sym->Name, Sym->V.R.RegOffs);
+
+ } else if (SymIsRef (Sym) && !SymIsDef (Sym)) {
+ AddTextLine ("%s, \"%s\", \"00\", %s, \"%s\"",
+ Head, Sym->Name,
+ (Sym->Flags & SC_EXTERN)? "extern" : "static",
+ Sym->AsmName);
+ }
+ }
+ Sym = Sym->NextSym;
+ }
+ }
+}