pike.git / src / pike_types.cmod

version» Context lines:

pike.git/src/pike_types.cmod:3417:       /* Both max values are now >= 0, so this or is safe. */    max1 |= max2;       if ((min1 < 0) && (min2 < 0)) {    min1 &= min2;    }    }    }    -  if ((min1 > max2) && (min1 > max2 + 1)) { +  if ((max2 < MAX_INT32) && (min1 > max2 + 1)) {    /* No overlap. */    push_finished_type(t);   #ifdef PIKE_DEBUG -  } else if ((min2 > max1) && (min2 > max1 + 1)) { +  } else if ((max1 < MAX_INT32) && (min2 > max1 + 1)) {    /* No overlap and wrong order! */    Pike_fatal("Bad integer ordering in lower_or_pike_types().\n");   #endif    } else {    Pike_compiler->type_stackp--;    free_type(top);    /* Overlap */    min1 = MINIMUM(min1, min2);    max1 = MAXIMUM(max1, max2);