}
bool psi_decl_arg_validate(struct psi_data *data, struct psi_decl_arg *arg,
- struct psi_validate_stack *type_stack)
+ struct psi_validate_scope *scope)
{
- if (!psi_decl_type_validate(data, arg->type, arg->var->pointer_level, type_stack)) {
+ if (!psi_decl_type_validate(data, arg->type, arg, 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,
}
bool psi_decl_arg_validate_typedef(struct psi_data *data,
- struct psi_decl_arg *def, struct psi_validate_stack *type_stack)
+ struct psi_decl_arg *def, struct psi_validate_scope *scope)
{
- if (psi_validate_stack_has_type(type_stack, def->var->name)) {
+ if (psi_validate_scope_has_type(scope, def->var->name)) {
return true;
}
- psi_validate_stack_add_type(type_stack, def->var->name, def);
+ psi_validate_scope_add_type(scope, def->var->name, def);
if (def->type->type == PSI_T_VOID) {
if (def->var->pointer_level) {
"Type '%s' cannot be aliased to 'void'", def->type->name);
return false;
}
- } else if (!psi_decl_type_validate(data, def->type, def->var->pointer_level, type_stack)) {
+ } else if (!psi_decl_type_validate(data, def->type, def, scope)) {
const char *pre;
switch (def->type->type) {
size_t size;
struct psi_decl_type *real = psi_decl_type_get_real(darg->type);
- if (darg->var->array_size) {
- if (darg->var->pointer_level > 1) {
- size = psi_t_size(PSI_T_POINTER) * darg->var->array_size;
- } else {
- size = psi_t_size(real->type) * darg->var->array_size;
- }
- } else if (darg->var->pointer_level) {
+ 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) {
size = psi_t_size(PSI_T_POINTER);
} else {
switch (real->type) {
size = psi_t_size(real->type);
break;
}
+
+ if (darg->var->array_size) {
+ size *= darg->var->array_size;
+ }
}
return size;