https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91838
--- Comment #5 from Alexander Monakov <amonakov at gcc dot gnu.org> --- Ah, indeed, it should be explicitly UB, and the documentation should mention that as well as that implicit integer promotion does not happen for vector shifts and other operations.