pike.git/ src/ pike_types.c

2007-04-25

2007-04-25 15:43:07 by Henrik Grubbström (Grubba) <grubba@grubba.org>

• 91748a9e737338a431d8dfe26b6cdde4036a653e (82 lines) (+39/-43) ^{[ Show | Annotate ]}
  Branch: 7.9

Fixed issues with T_AND in lower_new_check_call().
More robust check for attributed parameter types.
Fixed C++-style comment.

Rev: src/pike_types.c:1.294

2:   || This file is part of Pike. For copyright information see COPYRIGHT.   || Pike is distributed under GPL, LGPL and MPL. See the file COPYING   || for more information. - || $Id: pike_types.c,v 1.293 2007/04/21 20:08:26 grubba Exp $ + || $Id: pike_types.c,v 1.294 2007/04/25 15:43:07 grubba Exp $   */      #include "global.h"
5457:    res = NULL;    break;    } -  if ((res->type == T_NOT) || (tmp->type == T_NOT)) { -  /* Special cases for NOT, since and_pike_types() -  * doesn't seem to handle it reliably. +  if (res == tmp) { +  /* Common case. */ +  free_type(tmp); +  break; +  } +  /* and_pike_types() doesn't handle and of functions +  * in the way we want here.    */    type_stack_mark(); -  if (res->type == tmp->type) { -  push_finished_type(tmp2 = and_pike_types(res->car, tmp->car)); -  free_type(res); -  free_type(tmp); -  free_type(tmp2); -  push_type(T_NOT); -  } else { -  push_finished_type(res); -  free_type(res); +     push_finished_type(tmp); -  free_type(tmp); +  push_finished_type(res);    push_type(T_AND); -  } -  res = pop_unfinished_type(); -  } else { -  res = and_pike_types(tmp2 = res, tmp); +     free_type(tmp); -  free_type(tmp2); -  } +  free_type(res); +  res = pop_unfinished_type();    break;       case T_NOT:
5639:    res = pop_unfinished_type();    if (tmp) free_type(tmp);    -  if ((tmp2->type == PIKE_T_ATTRIBUTE) && -  (Pike_compiler->compiler_pass == 2) && -  sval) { +  if ((Pike_compiler->compiler_pass == 2) && sval) { +  while (tmp2->type == PIKE_T_NAME) { +  tmp2 = tmp2->cdr; +  } +  +  if (tmp2->type == PIKE_T_ATTRIBUTE) {    /* Perform extra argument checking based on the attribute. */    /* FIXME: Support multiple attributes. */    ref_push_string((struct pike_string *)tmp2->car);
5661:    pop_stack();    }    } +  }   #ifdef PIKE_DEBUG    if (l_flag>2) {    fprintf(stderr, "%*sSuccess.\n", indent*2+2, "");
7289:    any_type_string = CONSTTYPE(tOr(tVoid,tMix));    weak_type_string = CONSTTYPE(tOr4(tArray,tMultiset,tMapping,    tFuncV(tNone,tZero,tOr(tMix,tVoid)))); -  //add_ref(weak_type_string); /* LEAK */ +  /* add_ref(weak_type_string); /* LEAK */       builtin_attributes = allocate_mapping(20);