https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77860
--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Reproduceable also on current trunk with -O2 -fno-tree-forwprop -fno-tree-vrp typedef unsigned short V __attribute__((vector_size (16))); V foo (V x, V y) { V a = -x; V b = -y; return a * b; }