(root)/
gcc-13.2.0/
gcc/
testsuite/
gcc.dg/
analyzer/
pr93352.c
       1  /* { dg-additional-options "-Wno-overflow" } */
       2  
       3  struct yc {
       4    int c0;
       5    char di[];
       6  };
       7  
       8  void
       9  qt (struct yc *ab)
      10  {
      11    ab->di[0x7fffffff + 1] = ab->di[0];
      12  }