(root)/
gcc-13.2.0/
gcc/
testsuite/
gcc.dg/
Warray-bounds-28.c
       1  /* PR tree-optimization/48560 - -Warray-bounds fails to detect the out of
       2     bound array access
       3     { dg-do compile }
       4     { dg-options "-O2 -Warray-bounds" } */
       5  
       6  char foo1 (int i)
       7  {
       8    static char s[] = "foo";
       9    switch (i)
      10      {
      11      case 30:
      12        return s[30];   /* { dg-warning "array subscript 30 is above array bounds" } */
      13      }
      14    return s[i];
      15  }