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 }