gcc/testsuite/c-c++-common/analyzer/pr110455.c

int __attribute__((__vector_size__ (4))) v;

void
foo (void)
{
  v | v << 1;
}