pike.git/ src/ pike_types.cmod

2022-07-05

2022-07-05 13:25:15 by Henrik Grubbström (Grubba) <grubba@grubba.org>

• ea3c8fe800cf26c99fcfa1cadd51602ad82a788b (5 lines) (+3/-2) ^{[ Show | Annotate ]}
  Branch: master

Compiler [Typechecker]: Fix broken check for T_MANY.

avoidable and bvoidable now contain other flags than just
PT_FLAG_CMP_VOIDABLE, so check just for the needed flag.

5715:    push_finished_type(tmp);    free_type(tmp);    -  if (avoidable && bvoidable) { +  if (avoidable & bvoidable & PT_FLAG_CMP_VOIDABLE) {    /* Time to check the return types. */       if (!aret) aret = ai->cdr;
5863:    }    }    -  if (avoidable && bvoidable) { +  if (avoidable & bvoidable & PT_FLAG_CMP_VOIDABLE) {    /* Both a & b are T_MANY. Check the return type. */    if (!aret) aret = ai->cdr;    if (!bret) bret = bi->cdr;