gcc/testsuite/gcc.dg/analyzer/pr96860-2.c

/* { dg-additional-options "--param analyzer-max-svalue-depth=0" } */

void x7 (void)
{
  long z5[] = {
    0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 0, 1,
  };
}