X-Git-Url: https://git.m6w6.name/?p=m6w6%2Fext-psi;a=blobdiff_plain;f=src%2Ftypes%2Fdecl_type.c;h=afab9e307cae40995b9bd14abb91e6336d0f6a1b;hp=c3901ca971a079805c6d9dbb7d8a63c09d21d982;hb=848d77002c2c0451ccb76b9059cb352fabbdd8bc;hpb=b09850fb2c28c23547fed5ac83faf0fa2d3e6b8b diff --git a/src/types/decl_type.c b/src/types/decl_type.c index c3901ca..afab9e3 100644 --- a/src/types/decl_type.c +++ b/src/types/decl_type.c @@ -101,9 +101,9 @@ size_t psi_decl_type_get_size(struct psi_decl_type *dtyp, 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); } @@ -118,7 +118,7 @@ bool psi_decl_type_get_alias(struct psi_decl_type *type, struct psi_plist *defs) 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)) { @@ -126,6 +126,7 @@ bool psi_decl_type_get_alias(struct psi_decl_type *type, struct psi_plist *defs) 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; @@ -213,36 +214,57 @@ bool psi_decl_type_get_decl(struct psi_decl_type *type, struct psi_plist *decls) } bool psi_decl_type_validate(struct psi_data *data, struct psi_decl_type *type, - struct psi_decl_arg *def) + bool is_pointer, struct psi_validate_stack *type_stack) { if (psi_decl_type_is_weak(type)) { if (!psi_decl_type_get_alias(type, data->types)) { - return false; + if (!psi_validate_stack_has_type(type_stack, type->name)) { + return false; + } + type->real.def = psi_validate_stack_get_type(type_stack, type->name); } if (type->real.def) { return psi_decl_type_validate(data, type->real.def->type, - type->real.def); + is_pointer, type_stack); } return true; } switch (type->type) { case PSI_T_STRUCT: - if (!psi_decl_type_get_struct(type, data->structs) && !def) { - data->error(data, type->token, PSI_WARNING, - "Unknown struct '%s'", type->name); + 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); + } else if (is_pointer) { + 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)) { return false; } break; case PSI_T_UNION: - if (!psi_decl_type_get_union(type, data->unions) && !def) { - data->error(data, type->token, PSI_WARNING, - "Unknown union '%s'", type->name); + 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); + } else if (is_pointer) { + 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)) { return false; } break; case PSI_T_ENUM: - if (!psi_decl_type_get_enum(type, data->enums) && !def) { + if (!psi_decl_type_get_enum(type, data->enums)) { data->error(data, type->token, PSI_WARNING, "Unknown enum '%s'", type->name); return false; @@ -254,11 +276,14 @@ bool psi_decl_type_validate(struct psi_data *data, struct psi_decl_type *type, "Unknown decl '%s'", type->name); return false; } - if (!psi_decl_validate_nodl(data, type->real.func)) { + if (!psi_decl_validate_nodl(data, type->real.func, type_stack)) { return false; } break; + default: + break; } + return true; } @@ -310,7 +335,7 @@ void psi_decl_type_dump(int fd, struct psi_decl_type *t, unsigned level) } } --level; - dprintf(fd, "%s} ", psi_t_indent(level)); + dprintf(fd, "%s\n} ", psi_t_indent(level)); return; } break;