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 didn't look at the patch and if that's the right condition, just randomly commenting on this line)
-- Marc Glisse
