https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110541
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Resolution|--- |FIXED
Status|ASSIGNED |RESOLVED
Keywords| |documentation
--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> ---
Fixed as documentation issue. Note
"MASK elements outside of [0, length(V0) + length(V1) - 1] invoke undefined
behavior (the modulo operation above doesn't apply)."
isn't actually the case, it would be a missed canonicalization only.
