pike.git / src / pike_types.cmod

version» Context lines:

pike.git/src/pike_types.cmod:1389:    if (marker_set & (PT_FLAG_MARKER_0 << m)) {    /* The marker should be kept. */   #ifdef PIKE_TYPE_DEBUG    if (l_flag > 2) {    fprintf(stderr, "Keep marker.\n");    }   #endif    push_type(type->type);    if (markers[m]) push_type(T_OR);    } else if (!markers[m]) { -  push_type(T_ZERO); +  push_type(PIKE_T_UNKNOWN);    }    TYPE_STACK_DEBUG("push_finished_type_with_markers");    return;    } else if (type->type == T_ASSIGN) {    /* Assign. */    int marker = PTR_TO_INT(type->car);   #ifdef PIKE_TYPE_DEBUG    if (l_flag > 2) {    fprintf(stderr, "Assign to marker %"PRINTPTRDIFFT"d.\n",    CAR_TO_INT(type));