https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101291
--- Comment #8 from Richard Biener <rguenth at gcc dot gnu.org> --- The vectorizer sets loop constraints, looks like we forget to clear it in the versioning code. I'll have a look next week unless somebody beats me to it.