https://gcc.gnu.org/bugzilla/show_bug.cgi?id=122887
--- Comment #2 from mjr19 at cam dot ac.uk --- Many thanks for pointing that out. Agreed, not a bug in GCC (unless someone can show that it is possible and profitable to vectorise C99's definition of multiplication).
