Start work on simple names in symbol tables

I don't remember what the goal was (stopped working on it eight months
ago), but some possibilities include:
 - better handling of nil (have trouble with assigning into struts)
 - automatic forward declarations ala C# and jai (I was watching vids
   about jai at the time)
 - something for pascal
 - simply that the default symbol type should not be var (in which case,
   goal accomplished)
This commit is contained in:
Bill Currie 2019-06-06 07:01:44 +09:00
parent 7e31704ebe
commit 4ef4a7e955
5 changed files with 8 additions and 0 deletions

View file

@ -48,6 +48,7 @@ typedef enum vis_e {
} vis_t; } vis_t;
typedef enum { typedef enum {
sy_name, ///< just a name (referent tbd)
sy_var, ///< symbol refers to a variable sy_var, ///< symbol refers to a variable
sy_const, ///< symbol refers to a constant sy_const, ///< symbol refers to a constant
sy_type, ///< symbol refers to a type sy_type, ///< symbol refers to a type

View file

@ -87,6 +87,8 @@ check_valid_lvalue (expr_t *expr)
switch (expr->type) { switch (expr->type) {
case ex_symbol: case ex_symbol:
switch (expr->e.symbol->sy_type) { switch (expr->e.symbol->sy_type) {
case sy_name:
break;
case sy_var: case sy_var:
return 0; return 0;
case sy_const: case sy_const:

View file

@ -650,6 +650,7 @@ struct_decl
$<spec>0.type = type_default; $<spec>0.type = type_default;
$1->type = append_type ($1->type, $<spec>0.type); $1->type = append_type ($1->type, $<spec>0.type);
$1->type = find_type ($1->type); $1->type = find_type ($1->type);
$1->sy_type = sy_var;
symtab_addsymbol (current_symtab, $1); symtab_addsymbol (current_symtab, $1);
} }
| var_decl | var_decl
@ -658,6 +659,7 @@ struct_decl
$<spec>0.type = type_default; $<spec>0.type = type_default;
$1->type = append_type ($1->type, $<spec>0.type); $1->type = append_type ($1->type, $<spec>0.type);
$1->type = find_type ($1->type); $1->type = find_type ($1->type);
$1->sy_type = sy_var;
symtab_addsymbol (current_symtab, $1); symtab_addsymbol (current_symtab, $1);
} }
| var_decl ':' expr %prec COMMA {} | var_decl ':' expr %prec COMMA {}

View file

@ -246,6 +246,7 @@ make_structure (const char *name, int su, struct_def_t *defs, type_t *type)
strct = new_symtab (0, stab_struct); strct = new_symtab (0, stab_struct);
while (defs->name) { while (defs->name) {
field = new_symbol_type (defs->name, defs->type); field = new_symbol_type (defs->name, defs->type);
field->sy_type = sy_var;
if (!symtab_addsymbol (strct, field)) if (!symtab_addsymbol (strct, field))
internal_error (0, "duplicate symbol: %s", defs->name); internal_error (0, "duplicate symbol: %s", defs->name);
defs++; defs++;

View file

@ -52,6 +52,7 @@ static symtab_t *symtabs_freelist;
static symbol_t *symbols_freelist; static symbol_t *symbols_freelist;
static const char *sy_type_names[] = { static const char *sy_type_names[] = {
"sy_name",
"sy_var", "sy_var",
"sy_const", "sy_const",
"sy_type", "sy_type",
@ -234,5 +235,6 @@ make_symbol (const char *name, type_t *type, defspace_t *space,
sym->s.def = new_def (name, type, space, storage); sym->s.def = new_def (name, type, space, storage);
reloc_attach_relocs (relocs, &sym->s.def->relocs); reloc_attach_relocs (relocs, &sym->s.def->relocs);
} }
sym->sy_type = sy_var;
return sym; return sym;
} }