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