gcc/testsuite/gcc.dg/pr49496.c

/* PR debug/49496 */
/* { dg-do compile } */
/* { dg-options "-O3 -fcompare-debug" } */

unsigned short u[8], s1[8], s2[8];

void bar (unsigned short *);

void
foo (void)
{
  unsigned short e[8];
  int i;
  for (i = 0; i < 8; i++)
    {
      int tmp = s1[i] * s2[i];
      e[i] = (tmp & 0xffff0000) >> 16;
    }
  bar (e);
}