Use MIN/MAX when dumping RANGE[]

It's very common that one of the bounds is LONG_MIN or LONG_MAX.
Dump them as MIN/MAX instead of the int representation in that
case, as it makes the dump less noisy.
This commit is contained in:
Nikita Popov 2020-11-19 12:46:52 +01:00
parent c0d1dbcb43
commit fa67864c13

View file

@ -154,11 +154,15 @@ static void zend_dump_range(const zend_ssa_range *r)
fprintf(stderr, " RANGE[");
if (r->underflow) {
fprintf(stderr, "--..");
} else if (r->min == ZEND_LONG_MIN) {
fprintf(stderr, "MIN..");
} else {
fprintf(stderr, ZEND_LONG_FMT "..", r->min);
}
if (r->overflow) {
fprintf(stderr, "++]");
} else if (r->max == ZEND_LONG_MAX) {
fprintf(stderr, "MAX]");
} else {
fprintf(stderr, ZEND_LONG_FMT "]", r->max);
}