gcc/testsuite/gcc.dg/analyzer/pr96705.c

int __attribute__ ((vector_size (8))) v;
int i;

void
test (void)
{
  v &= 0;
  v *= i;
}