pike.git / src / pike_types.cmod

version» Context lines:

pike.git/src/pike_types.cmod:5160:    return remap_markers(b, remap, remap_flags ^ PT_FLAG_REMAP_SWAP_MARKERS);    }    if (b->type == T_MIXED) {    return remap_markers(a, remap, remap_flags);    }       if (a->type == T_NOT) {    if (b->type == T_NOT) {    /* DeMorgan and(not(a), not(b)) <==> not(or(a, b)) */    type_stack_mark(); -  push_remap_markers(a, remap, remap_flags); -  push_remap_markers(b, remap, remap_flags ^ PT_FLAG_REMAP_SWAP_MARKERS); +  push_remap_markers(a->car, remap, remap_flags); +  push_remap_markers(b->car, remap, remap_flags ^ PT_FLAG_REMAP_SWAP_MARKERS);    push_type(T_OR);    push_type(T_NOT);    return pop_unfinished_type();    }    /* NB: Swapped argument order! */    return low_subtract_types(b, a->car, remap, bflags, aflags,    remap_flags ^ PT_FLAG_REMAP_SWAP_MARKERS);    }    if (b->type == T_NOT) {    return low_subtract_types(a, b->car, remap, aflags, bflags, remap_flags);