switch (var_typ->type) {
case PSI_T_STRUCT:
- return var_typ->real.strct->size;
+ return var_typ->real.strct ? var_typ->real.strct->size : 0;
case PSI_T_UNION:
- return var_typ->real.unn->size;
+ return var_typ->real.unn ? var_typ->real.unn->size : 0;
default:
return psi_t_size(var_typ->type);
}
if (type->real.def) {
return true;
}
- if (defs)
+ if (defs) {
while (psi_plist_get(defs, i++, &def)) {
- if (def->type->type != type->type
- && !strcmp(def->var->name, type->name)) {
+ if (!strcmp(def->var->name, type->name)) {
type->real.def = def;
return true;
}
}
+ }
for (stdtyp = &psi_std_types[0]; stdtyp->type_tag; ++stdtyp) {
if (!strcmp(type->name, stdtyp->alias ?: stdtyp->type_name)) {
type->type = stdtyp->type_tag;
}
bool psi_decl_type_validate(struct psi_data *data, struct psi_decl_type *type,
- struct psi_validate_stack *type_stack)
+ struct psi_decl_arg *def, struct psi_validate_scope *scope)
{
if (psi_decl_type_is_weak(type)) {
if (!psi_decl_type_get_alias(type, data->types)) {
- if (!psi_validate_stack_has_type(type_stack, type->name)) {
+ if (!psi_validate_scope_has_type(scope, type->name)) {
return false;
}
- type->real.def = psi_validate_stack_get_type(type_stack, type->name);
+ type->real.def = psi_validate_scope_get_type(scope, type->name);
}
if (type->real.def) {
- return psi_decl_type_validate(data, type->real.def->type,
- type_stack);
+ if (!psi_decl_type_validate(data, type->real.def->type,
+ type->real.def, scope)) {
+ return false;
+ }
+ if (def) {
+ def->var->pointer_level += type->real.def->var->pointer_level;
+ }
}
return true;
}
switch (type->type) {
case PSI_T_STRUCT:
if (!psi_decl_type_get_struct(type, data->structs)) {
- if (psi_validate_stack_has_struct(type_stack, type->name)) {
- type->real.strct = psi_validate_stack_get_struct(type_stack, type->name);
+ if (psi_validate_scope_has_struct(scope, type->name)) {
+ type->real.strct = psi_validate_scope_get_struct(scope, type->name);
+ } else if (def && def->var->pointer_level) {
+ return true;
} else {
data->error(data, type->token, PSI_WARNING,
"Unknown struct '%s'", type->name);
return false;
}
}
- if (!psi_decl_struct_validate(data, type->real.strct, type_stack)) {
+ if (!psi_decl_struct_validate(data, type->real.strct, scope)) {
return false;
}
break;
case PSI_T_UNION:
if (!psi_decl_type_get_union(type, data->unions)) {
- if (psi_validate_stack_has_union(type_stack, type->name)) {
- type->real.unn = psi_validate_stack_get_union(type_stack, type->name);
+ if (psi_validate_scope_has_union(scope, type->name)) {
+ type->real.unn = psi_validate_scope_get_union(scope, type->name);
+ } else if (def && def->var->pointer_level) {
+ return true;
} else {
data->error(data, type->token, PSI_WARNING,
"Unknown union '%s'", type->name);
return false;
}
}
- if (!psi_decl_union_validate(data, type->real.unn, type_stack)) {
+ if (!psi_decl_union_validate(data, type->real.unn, scope)) {
return false;
}
break;
"Unknown decl '%s'", type->name);
return false;
}
- if (!psi_decl_validate_nodl(data, type->real.func, type_stack)) {
+ if (!psi_decl_validate_nodl(data, type->real.func, scope)) {
return false;
}
break;
while (psi_plist_get(args, i++, &sarg)) {
dprintf(fd, "%s", psi_t_indent(level));
psi_decl_arg_dump(fd, sarg, level);
- if (sarg->layout->bfw) {
- dprintf(fd, ":%zu", sarg->layout->bfw->len);
+ if (sarg->layout) {
+ if (sarg->layout->bfw) {
+ dprintf(fd, ":%zu", sarg->layout->bfw->len);
+ }
+ dprintf(fd, "::(%zu, %zu);\n", sarg->layout->pos,
+ sarg->layout->len);
+ } else {
+ dprintf(fd, ";\n");
}
- dprintf(fd, "::(%zu, %zu);\n", sarg->layout->pos,
- sarg->layout->len);
}
--level;
}
}
}
--level;
- dprintf(fd, "%s} ", psi_t_indent(level));
+ dprintf(fd, "%s\n} ", psi_t_indent(level));
return;
}
break;
return;
}
break;
+
+ case PSI_T_FUNCTION:
+ psi_decl_type_dump(fd, t->real.func->func->type, level);
+ return;
+
+ default:
+ break;
}
+
dprintf(fd, "%s", t->name);
}
case PSI_T_ENUM:
default:
align = psi_t_alignment(real->type);
+ break;
}
return align;