Branch: Tag:

2020-12-27

2020-12-27 15:09:31 by Henrik Grubbström (Grubba) <grubba@grubba.org>

Compiler [Typechecker]: Added some comments.

4976:    return pop_unfinished_type();    }    +  /* Invariant: a->type == b->type. */ +     switch(a->type) {    case T_VOID:    case T_ZERO:
5280:    return pop_unfinished_type();    }    -  /* Leaf type. */ +  /* Leaf type. Most likely not reached. */    if (op & PT_BINOP_AND) {    add_ref(a);    return a;