https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91191
--- Comment #9 from Jeffrey A. Law <law at redhat dot com> --- Yea, I think so -- which would be undefined because the sizes are different according to the docs you referenced. Which would also invalidate part of my responses in c#5 and c#7. It sounds like something ought to be checking the constraint that the input and output must have the same size.