pike.git/ src/ pike_types.cmod

2021-01-18

2021-01-18 15:00:17 by Henrik Grubbström (Grubba) <grubba@grubba.org>

• 9e5b37178ae220222074c9c4c92870448a92de3a (11 lines) (+11/-0) ^{[ Show | Annotate ]}
  Branch: master

Compiler [Typechecker]: Improved handling of comparing void and zero.

Fixed some handling of T_MANY(T_VOID, ...) in combination
with T_MANY(T_ZERO, ...).

4944:       case TWOT(T_VOID, T_ZERO):    if (op & PT_BINOP_AND) { +  if (bflags & PT_FLAG_CMP_VOIDABLE) { +  /* Return void. */ +  add_ref(a); +  return a; +  }    /* Return zero. */    add_ref(b);    return b;
4952:       case TWOT(T_ZERO, T_VOID):    if (op & PT_BINOP_AND) { +  if (aflags & PT_FLAG_CMP_VOIDABLE) { +  /* Return void. */ +  add_ref(b); +  return b; +  }    /* Return zero. */    add_ref(a);    return a;