pike.git/ src/ pike_types.cmod

2022-06-27

2022-06-27 09:36:14 by Henrik Grubbström (Grubba) <grubba@grubba.org>

• a65615c4f4542f2cf2574696d5e53c74292468e6 (42 lines) (+40/-2) ^{[ Show | Annotate ]}
  Branch: master

Compiler [Typechecker]: __deprecated__ should now work again.

4728:   {    struct pike_type *tmp, *tmp2, *ret;    struct pike_type *aret = NULL, *bret = NULL; +  struct compilation *c = MAYBE_THIS_COMPILATION;    enum pt_cmp_flags avoidable;    enum pt_cmp_flags bvoidable;   
4934:    return pop_unfinished_type();    case PIKE_T_ATTRIBUTE:    tmp = low_type_binop(op, a->cdr, b, remap, aflags, bflags, remap_flags); -  if (!tmp) return NULL; +  if (!tmp) { +  if (c && (op == PT_BINOP_MINUS)) { +  ref_push_string((struct pike_string *)a->car); +  ref_push_type_value(a->cdr); +  ref_push_type_value(b); +  safe_apply_current2(PC_POP_TYPE_ATTRIBUTE_FUN_NUM, 3, +  "pop_type_attribute"); +  if ((TYPEOF(Pike_sp[-1]) == T_INT) && +  (SUBTYPEOF(Pike_sp[-1]) == NUMBER_NUMBER) && +  (!Pike_sp[-1].u.integer)) { +  /* Forced mismatch. */ +  pop_stack(); +  return remap_markers(a, remap, remap_flags); +  } +  pop_stack(); +  } +  return NULL; +  } +     type_stack_mark();    push_finished_type(tmp);   #if 0
4965:    return pop_unfinished_type();    case PIKE_T_ATTRIBUTE:    tmp = low_type_binop(op, a, b->cdr, remap, aflags, bflags, remap_flags); -  if (!tmp) return NULL; +  if (!tmp) { +  if (c && (op == PT_BINOP_MINUS)) { +  ref_push_string((struct pike_string *)b->car); +  ref_push_type_value(a); +  ref_push_type_value(b->cdr); +  safe_apply_current2(PC_POP_TYPE_ATTRIBUTE_FUN_NUM, 3, +  "push_type_attribute"); +  if ((TYPEOF(Pike_sp[-1]) == T_INT) && +  (SUBTYPEOF(Pike_sp[-1]) == NUMBER_NUMBER) && +  (!Pike_sp[-1].u.integer)) { +  /* Forced mismatch. */ +  pop_stack(); +  return remap_markers(a, remap, remap_flags); +  } +  pop_stack(); +  } +  return NULL; +  } +     type_stack_mark();    push_finished_type(tmp);   #if 0