pike.git/ src/ pike_types.cmod

2022-06-15

2022-06-15 10:26:50 by Henrik Grubbström (Grubba) <grubba@grubba.org>

• 6cda3a69d197ba8084d933f164d68f274f6c1f44 (16 lines) (+11/-5) ^{[ Show | Annotate ]}
  Branch: master

Compiler [Typechecker]: Add special case.

Special case for function(__unknown__...:mixed|void).

Fixes testsuite failure.

5492:    enum pt_cmp_flags avoidable = 0;    enum pt_cmp_flags bvoidable = 0;    -  /* FIXME: What about function(__unknown__...:mixed|void)? */ -  if ((b->type == T_MANY) && !b->car && (b->cdr == mixed_type_string)) { -  /* Common case. function(__unknown__...:mixed) */ +  if ((b->type == T_MANY) && !b->car && +  ((b->cdr == mixed_type_string) || (b->cdr == any_type_string))) { +  /* Common case. +  * function(__unknown__...:mixed) or function(__unknown__...:mixed|void) +  */    if (op == PT_BINOP_AND) {    return remap_markers(a, remap, remap_flags);    }    return NULL;    } -  if ((a->type == T_MANY) && !a->car && (a->cdr == mixed_type_string)) { -  /* Common case. function(__unknown__...:mixed) */ +  if ((a->type == T_MANY) && !a->car && +  ((a->cdr == mixed_type_string) || (a->cdr == any_type_string))) { +  /* Common case. +  * function(__unknown__...:mixed) or function(__unknown__...:mixed|void) +  */    if (op == PT_BINOP_AND) {    return remap_markers(b, remap,    remap_flags ^ PT_FLAG_REMAP_SWAP_MARKERS);