pike.git/ src/ pike_types.cmod

2022-06-01

2022-06-01 08:28:58 by Henrik Grubbström (Grubba) <grubba@grubba.org>

• 9a2cd784f4e27867a5633fe662eac11076c85032 (13 lines) (+7/-6) ^{[ Show | Annotate ]}
  Branch: master

Compiler [Typechecker]: Fixed bug in handling of PT_FLAG_CMP_IGNORE_EXTRA_ARGS.

5672:    if (tmp) {    /* No or not full overlap. */    -  if ((ai->car == void_type_string) && (tmp != bi->car) && +  if ((ai->car == void_type_string) &&    (aflags & PT_FLAG_CMP_IGNORE_EXTRA_ARGS)) {    /* End of argument list for a, and it is valid to end the    * argument list here (void matched), and a implicitly
5685:    /* Common case, no overlap. */    pop_stack_mark();    free_type(tmp); -  add_ref(ai); -  return ai; +  +  return remap_markers(ai, remap, remap_flags);    }    free_type(tmp);   
5703:    */    pop_stack_mark();    free_type(tmp); -  add_ref(ai); -  return ai; +  +  return remap_markers(ai, remap, remap_flags);    }    -  push_finished_type(ai->cdr); +  push_remap_markers(ai->cdr, remap, remap_flags);    push_finished_type(tmp);    push_type(ai->type);    free_type(tmp);