On Thu, Jun 4, 2020 at 2:09 PM Marc Glisse <marc.gli...@inria.fr> wrote: > > On Thu, 4 Jun 2020, Richard Biener via Gcc-patches wrote: > > > (if (!TYPE_OVERFLOW_SANITIZED (type) && !TYPE_OVERFLOW_TRAPS (type) > > && !TYPE_SATURATING (type) > > Would the positive form > TYPE_OVERFLOW_WRAPS (type) || TYPE_OVERFLOW_UNDEFINED (type) > be roughly equivalent and shorter? Or am I missing some cases?
I think TYPE_OVERFLOW_SANITIZED isn't handled here, not sure if we have saturating integer types (we have FIXED_POINT_TYPE ones). At least TYPE_OVERFLOW_* do not check TYPE_SATURATING but only (ANY-)INTEGER_TYPE-ness. Richard. > (I didn't look at the patch and if that's the right condition, just > randomly commenting on this line) > > -- > Marc Glisse
