X-Git-Url: https://git.m6w6.name/?p=m6w6%2Fext-psi;a=blobdiff_plain;f=src%2Ftypes%2Fdecl_arg.c;h=816ab8a9ab66f9c5bac5e1e7c60e37061f42e3cb;hp=32607d11d9aee884e15731c61c717f7c4381ae4c;hb=a7ac1c0a3c855321f21682c127a4b707de33a303;hpb=f8b910b8bc0326683697c639288900b6a095368b diff --git a/src/types/decl_arg.c b/src/types/decl_arg.c index 32607d1..816ab8a 100644 --- a/src/types/decl_arg.c +++ b/src/types/decl_arg.c @@ -31,7 +31,7 @@ struct psi_decl_arg *psi_decl_arg_init(struct psi_decl_type *type, struct psi_decl_var *var) { - struct psi_decl_arg *arg = calloc(1, sizeof(*arg)); + struct psi_decl_arg *arg = pecalloc(1, sizeof(*arg), 1); arg->token = var->token; arg->type = type; arg->var = var; @@ -46,7 +46,7 @@ void psi_decl_arg_free(struct psi_decl_arg **arg_ptr) *arg_ptr = NULL; if (arg->token && arg->token != arg->var->token) { - free(arg->token); + psi_token_free(&arg->token); } psi_decl_type_free(&arg->type); psi_decl_var_free(&arg->var); @@ -57,17 +57,17 @@ void psi_decl_arg_free(struct psi_decl_arg **arg_ptr) } } -void psi_decl_arg_dump(int fd, struct psi_decl_arg *arg, unsigned level) +void psi_decl_arg_dump(struct psi_dump *dump, struct psi_decl_arg *arg, unsigned level) { if (arg->type->type == PSI_T_FUNCTION) { - psi_decl_type_dump(fd, arg->type->real.func->func->type, level); + psi_decl_type_dump(dump, arg->type->real.func->func->type, level); if (arg->type->real.func->func->type->type == PSI_T_FUNCTION) { - dprintf(fd, "("); + PSI_DUMP(dump, "("); } - dprintf(fd, " %s(*%s)", + PSI_DUMP(dump, " %s(*%s)", psi_t_indirection(arg->var->pointer_level - !! arg->var->array_size), - arg->var->name); - dprintf(fd, "("); + arg->var->name->val); + PSI_DUMP(dump, "("); if (arg->type->real.func->args) { size_t j = 0; struct psi_decl_arg *farg; @@ -75,40 +75,40 @@ void psi_decl_arg_dump(int fd, struct psi_decl_arg *arg, unsigned level) ++level; while (psi_plist_get(arg->type->real.func->args, j++, &farg)) { if (j > 1) { - dprintf(fd, ", "); + PSI_DUMP(dump, ", "); } - psi_decl_arg_dump(fd, farg, level); + psi_decl_arg_dump(dump, farg, level); } --level; if (arg->type->real.func->varargs) { - dprintf(fd, ", ..."); + PSI_DUMP(dump, ", ..."); } } - dprintf(fd, ")"); + PSI_DUMP(dump, ")"); if (arg->type->real.func->func->type->type == PSI_T_FUNCTION) { struct psi_decl *decl = arg->type->real.func->func->type->real.func; - dprintf(fd, "("); + PSI_DUMP(dump, "("); if (decl->args) { size_t i; struct psi_decl_arg *arg; for (i = 0; psi_plist_get(decl->args, i, &arg); ++i) { if (i) { - dprintf(fd, ", "); + PSI_DUMP(dump, ", "); } - psi_decl_arg_dump(fd, arg, 0); + psi_decl_arg_dump(dump, arg, 0); } if (decl->varargs) { - dprintf(fd, ", ..."); + PSI_DUMP(dump, ", ..."); } } - dprintf(fd, "))"); + PSI_DUMP(dump, "))"); } } else { - psi_decl_type_dump(fd, arg->type, level); - dprintf(fd, " "); - psi_decl_var_dump(fd, arg->var); + psi_decl_type_dump(dump, arg->type, level); + PSI_DUMP(dump, " "); + psi_decl_var_dump(dump, arg->var); } } @@ -118,8 +118,10 @@ bool psi_decl_arg_validate(struct psi_data *data, struct psi_decl_arg *arg, if (!psi_decl_type_validate(data, arg->type, NULL, scope)) { if (!arg->var->pointer_level) { data->error(data, arg->type->token, PSI_WARNING, - "Cannot use '%s' as type for '%s'%s%s", arg->type->name, - arg->var->name, *data->last_error ? ": " : "", data->last_error); + "Cannot use '%s' as type for '%s'%s%s", + arg->type->name->val, + arg->var->name->val, + *data->last_error ? ": " : "", data->last_error); return false; } } @@ -139,7 +141,8 @@ bool psi_decl_arg_validate_typedef(struct psi_data *data, def->type->type = PSI_T_POINTER; } else { data->error(data, def->token, PSI_WARNING, - "Type '%s' cannot be aliased to 'void'", def->type->name); + "Type '%s' cannot be aliased to 'void'", + def->type->name->val); return false; } } else if (!psi_decl_type_validate(data, def->type, def, scope)) { @@ -160,14 +163,29 @@ bool psi_decl_arg_validate_typedef(struct psi_data *data, break; } data->error(data, def->token, PSI_WARNING, - "Type '%s' cannot be aliased to '%s%s'%s%s", def->var->name, pre, - def->type->name, *data->last_error ? ": " : "", data->last_error); + "Type '%s' cannot be aliased to '%s%s'%s%s", + def->var->name->val, pre, + def->type->name->val, + *data->last_error ? ": " : "", data->last_error); return false; } return true; } +bool psi_decl_arg_is_pointer(struct psi_decl_arg *darg) +{ + if (darg->var->pointer_level) { + if (darg->var->array_size) { + return darg->var->pointer_level > 1; + } + return true; + } else if (psi_decl_type_is_weak(darg->type) && darg->type->real.def) { + return psi_decl_arg_is_pointer(darg->type->real.def); + } + return false; +} + size_t psi_decl_arg_align(struct psi_decl_arg *darg, size_t *pos, size_t *len) { size_t align = psi_decl_arg_get_align(darg); @@ -184,8 +202,7 @@ size_t psi_decl_arg_get_align(struct psi_decl_arg *darg) { size_t align; - if (darg->var->pointer_level - && (!darg->var->array_size || darg->var->pointer_level > 1)) { + if (psi_decl_arg_is_pointer(darg)) { align = psi_t_alignment(PSI_T_POINTER); } else { align = psi_decl_type_get_align(darg->type); @@ -201,7 +218,7 @@ size_t psi_decl_arg_get_size(struct psi_decl_arg *darg) if (darg->var->array_size && darg->var->pointer_level > 1) { size = psi_t_size(PSI_T_POINTER) * darg->var->array_size; - } else if (!darg->var->array_size && darg->var->pointer_level) { + } else if (psi_decl_arg_is_pointer(darg)) { size = psi_t_size(PSI_T_POINTER); } else { switch (real->type) { @@ -226,14 +243,14 @@ size_t psi_decl_arg_get_size(struct psi_decl_arg *darg) } struct psi_decl_arg *psi_decl_arg_get_by_name(struct psi_plist *args, - const char *name) + zend_string *name) { size_t i = 0; struct psi_decl_arg *arg; if (args) while (psi_plist_get(args, i++, &arg)) { - if (!strcmp(name, arg->var->name)) { + if (zend_string_equals(name, arg->var->name)) { return arg; } } @@ -252,7 +269,7 @@ struct psi_decl_arg *psi_decl_arg_get_by_var(struct psi_decl_var *var, return var->arg = arg; } - if (func && !strcmp(var->name, func->var->name)) { + if (func && zend_string_equals(var->name, func->var->name)) { return var->arg = func; }