https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110760
--- Comment #4 from Andrew Pinski <pinskia at gcc dot gnu.org> --- (In reply to Krister Walfridsson from comment #3) > (In reply to Andrew Pinski from comment #1) > > I thought we decided that vector types don't apply the overflow rules and > > always just wrap ... > > That makes sense. But on the other hand, PR 110495 is a similar issue, and > that was fixed... > > And TYPE_OVERFLOW_WRAPS should return true for integer vectors if they > always wrap (or is it only valid for scalars? But ANY_INTEGRAL_TYPE_P is > careful to handle vectors and complex numbers too, so I thought the > ANY_INTEGRAL_TYPE_CHECK in TYPE_OVERFLOW_WRAPS means that it work for > vectors too). That is slightly different, it was introducing -2(OVF) too.