git.m6w6.name Git - m6w6/ext-psi/blob - src/types/decl_arg.c

   1 /*******************************************************************************
   2  Copyright (c) 2016, Michael Wallner <mike@php.net>.
   3  All rights reserved.
   4
   5  Redistribution and use in source and binary forms, with or without
   6  modification, are permitted provided that the following conditions are met:
   7
   8  * Redistributions of source code must retain the above copyright notice,
   9  this list of conditions and the following disclaimer.
  10  * Redistributions in binary form must reproduce the above copyright
  11  notice, this list of conditions and the following disclaimer in the
  12  documentation and/or other materials provided with the distribution.
  13
  14  THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
  15  AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
  16  IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
  17  DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE
  18  FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
  19  DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
  20  SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
  21  CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
  22  OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
  23  OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  24  *******************************************************************************/
  25
  26 #include "php_psi_stdinc.h"
  27 #include <assert.h>
  28
  29 #include "data.h"
  30
  31 struct psi_decl_arg *psi_decl_arg_init(struct psi_decl_type *type,
  32                 struct psi_decl_var *var)
  33 {
  34         struct psi_decl_arg *arg = calloc(1, sizeof(*arg));
  35         arg->token = var->token;
  36         arg->type = type;
  37         arg->var = var;
  38         var->arg = arg;
  39         return arg;
  40 }
  41
  42 void psi_decl_arg_free(struct psi_decl_arg **arg_ptr)
  43 {
  44         if (*arg_ptr) {
  45                 struct psi_decl_arg *arg = *arg_ptr;
  46
  47                 *arg_ptr = NULL;
  48                 if (arg->token && arg->token != arg->var->token) {
  49                         free(arg->token);
  50                 }
  51                 psi_decl_type_free(&arg->type);
  52                 psi_decl_var_free(&arg->var);
  53                 if (arg->layout) {
  54                         psi_layout_free(&arg->layout);
  55                 }
  56                 free(arg);
  57         }
  58 }
  59
  60 void psi_decl_arg_dump(int fd, struct psi_decl_arg *arg, unsigned level)
  61 {
  62         if (arg->type->type == PSI_T_FUNCTION) {
  63                 psi_decl_type_dump(fd, arg->type->real.func->func->type, level);
  64                 if (arg->type->real.func->func->type->type == PSI_T_FUNCTION) {
  65                         dprintf(fd, "(");
  66                 }
  67                 dprintf(fd, " %s(*%s)",
  68                                 psi_t_indirection(arg->var->pointer_level - !! arg->var->array_size),
  69                                 arg->var->name);
  70                 dprintf(fd, "(");
  71                 if (arg->type->real.func->args) {
  72                         size_t j = 0;
  73                         struct psi_decl_arg *farg;
  74
  75                         ++level;
  76                         while (psi_plist_get(arg->type->real.func->args, j++, &farg)) {
  77                                 if (j > 1) {
  78                                         dprintf(fd, ", ");
  79                                 }
  80                                 psi_decl_arg_dump(fd, farg, level);
  81                         }
  82                         --level;
  83                         if (arg->type->real.func->varargs) {
  84                                 dprintf(fd, ", ...");
  85                         }
  86                 }
  87                 dprintf(fd, ")");
  88                 if (arg->type->real.func->func->type->type == PSI_T_FUNCTION) {
  89                         struct psi_decl *decl = arg->type->real.func->func->type->real.func;
  90
  91                         dprintf(fd, "(");
  92                         if (decl->args) {
  93                                 size_t i;
  94                                 struct psi_decl_arg *arg;
  95
  96                                 for (i = 0; psi_plist_get(decl->args, i, &arg); ++i) {
  97                                         if (i) {
  98                                                 dprintf(fd, ", ");
  99                                         }
 100                                         psi_decl_arg_dump(fd, arg, 0);
 101                                 }
 102                                 if (decl->varargs) {
 103                                         dprintf(fd, ", ...");
 104                                 }
 105                         }
 106                         dprintf(fd, "))");
 107                 }
 108                 if (arg->var->array_size) {
 109                         dprintf(fd, "[%u]", arg->var->array_size);
 110                 }
 111         } else {
 112                 psi_decl_type_dump(fd, arg->type, level);
 113                 dprintf(fd, " ");
 114                 psi_decl_var_dump(fd, arg->var);
 115         }
 116 }
 117
 118 bool psi_decl_arg_validate(struct psi_data *data, struct psi_decl_arg *arg,
 119                 struct psi_validate_scope *scope)
 120 {
 121         if (!psi_decl_type_validate(data, arg->type, arg, scope)) {
 122                  if (!arg->var->pointer_level) {
 123                         data->error(data, arg->type->token, PSI_WARNING,
 124                                         "Cannot use '%s' as type for '%s'%s%s", arg->type->name,
 125                                         arg->var->name, *data->last_error ? ": " : "", data->last_error);
 126                         return false;
 127                  }
 128         }
 129         return true;
 130 }
 131
 132 bool psi_decl_arg_validate_typedef(struct psi_data *data,
 133                 struct psi_decl_arg *def, struct psi_validate_scope *scope)
 134 {
 135         if (psi_validate_scope_has_type(scope, def->var->name)) {
 136                 return true;
 137         }
 138         psi_validate_scope_add_type(scope, def->var->name, def);
 139
 140         if (def->type->type == PSI_T_VOID) {
 141                 if (def->var->pointer_level) {
 142                         def->type->type = PSI_T_POINTER;
 143                 } else {
 144                         data->error(data, def->token, PSI_WARNING,
 145                                         "Type '%s' cannot be aliased to 'void'", def->type->name);
 146                         return false;
 147                 }
 148         } else if (!psi_decl_type_validate(data, def->type, def, scope)) {
 149                 const char *pre;
 150
 151                 switch (def->type->type) {
 152                 case PSI_T_STRUCT:
 153                         pre = "struct ";
 154                         break;
 155                 case PSI_T_UNION:
 156                         pre = "union ";
 157                         break;
 158                 case PSI_T_ENUM:
 159                         pre = "enum ";
 160                         break;
 161                 default:
 162                         pre = "";
 163                         break;
 164                 }
 165                 data->error(data, def->token, PSI_WARNING,
 166                                 "Type '%s' cannot be aliased to '%s%s'%s%s", def->var->name, pre,
 167                                 def->type->name, *data->last_error ? ": " : "", data->last_error);
 168                 return false;
 169         }
 170
 171         return true;
 172 }
 173
 174 size_t psi_decl_arg_align(struct psi_decl_arg *darg, size_t *pos, size_t *len)
 175 {
 176         size_t align = psi_decl_arg_get_align(darg);
 177
 178         if (align) {
 179                 *len = psi_decl_arg_get_size(darg);
 180                 *pos = psi_align(align, *pos);
 181         }
 182
 183         return align;
 184 }
 185
 186 size_t psi_decl_arg_get_align(struct psi_decl_arg *darg)
 187 {
 188         size_t align;
 189
 190         if (darg->var->pointer_level
 191                         && (!darg->var->array_size || darg->var->pointer_level > 1)) {
 192                 align = psi_t_alignment(PSI_T_POINTER);
 193         } else {
 194                 align = psi_decl_type_get_align(darg->type);
 195         }
 196
 197         return align;
 198 }
 199
 200 size_t psi_decl_arg_get_size(struct psi_decl_arg *darg)
 201 {
 202         size_t size;
 203         struct psi_decl_type *real = psi_decl_type_get_real(darg->type);
 204
 205         if (darg->var->array_size && darg->var->pointer_level > 1) {
 206                 size = psi_t_size(PSI_T_POINTER) * darg->var->array_size;
 207         } else if (!darg->var->array_size && darg->var->pointer_level) {
 208                 size = psi_t_size(PSI_T_POINTER);
 209         } else {
 210                 switch (real->type) {
 211                 case PSI_T_UNION:
 212                         size = real->real.unn->size;
 213                         break;
 214                 case PSI_T_STRUCT:
 215                         size = real->real.strct->size;
 216                         break;
 217                 case PSI_T_ENUM:
 218                 default:
 219                         size = psi_t_size(real->type);
 220                         break;
 221                 }
 222
 223                 if (darg->var->array_size) {
 224                         size *= darg->var->array_size;
 225                 }
 226         }
 227
 228         return size;
 229 }
 230
 231 struct psi_decl_arg *psi_decl_arg_get_by_name(struct psi_plist *args,
 232                 const char *name)
 233 {
 234         size_t i = 0;
 235         struct psi_decl_arg *arg;
 236
 237         if (args)
 238                 while (psi_plist_get(args, i++, &arg)) {
 239                         if (!strcmp(name, arg->var->name)) {
 240                                 return arg;
 241                         }
 242                 }
 243
 244         return NULL;
 245 }
 246
 247 struct psi_decl_arg *psi_decl_arg_get_by_var(struct psi_decl_var *var,
 248                 struct psi_plist *args, struct psi_decl_arg *func)
 249 {
 250         struct psi_decl_arg *arg = psi_decl_arg_get_by_name(args, var->name);
 251
 252         if (arg) {
 253                 assert(!var->arg || var->arg == arg);
 254
 255                 return var->arg = arg;
 256         }
 257
 258         if (func && !strcmp(var->name, func->var->name)) {
 259                 return var->arg = func;
 260         }
 261
 262         return NULL;
 263 }