Branch: Tag:

2022-07-05

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

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;