pike.git / src / pike_types.cmod

version» Context lines:

pike.git/src/pike_types.cmod:4969:    push_remap_markers(b, NULL, remap,    remap_flags ^ PT_FLAG_REMAP_SWAP_MARKERS);    push_remap_markers(a, NULL, remap, remap_flags);    push_type(T_OR);    push_type(T_NOT);    break;    }    return pop_unfinished_type();    }    +  /* Invariant: a->type == b->type. */ +     switch(a->type) {    case T_VOID:    case T_ZERO:    case T_FLOAT:    /* Not reached. Should be handled by the a == b test at    * the beginning of the function.    */    Pike_fatal("Type hashing has duplicates.\n");    return NULL;   
pike.git/src/pike_types.cmod:5273:    break;    }       type_stack_mark();    push_finished_type(b);    push_finished_type(a);    push_binop(op);    return pop_unfinished_type();    }    -  /* Leaf type. */ +  /* Leaf type. Most likely not reached. */    if (op & PT_BINOP_AND) {    add_ref(a);    return a;    }    return NULL;   }      /**    * Low-level subtraction (aka And-not) of two types.    *