1  /* { dg-additional-options "--param analyzer-max-svalue-depth=0" } */
       2  
       3  void x7 (void)
       4  {
       5    long z5[] = {
       6      0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 0, 1,
       7    };
       8  }