https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86827
--- Comment #4 from Alexandre Oliva <aoliva at gcc dot gnu.org> ---
Erhm, but even that doesn't handle all anti-ranges properly; right below, we
state:
/* The bounds need not be ordered. Set HIB to use as the index
of the larger of the bounds and LOB as the opposite. */
which "corrects" the anti-range into the complementary range whenever we
haven't taken the correction above, e.g., when given an anti-range with
nonnegative boundaries.
