1  /* { dg-do compile } */
       2  /* { dg-options "-O3 -Warray-bounds" } */
       3  
       4  extern char *bar[17];
       5  
       6  int foo(int argc, char **argv)
       7  {
       8    int i;
       9    int n = 0;
      10  
      11    for (i = 0; i < argc; i++)
      12      n++;
      13  
      14    for (i = 0; i < argc; i++)
      15      argv[i] = bar[i + n]; /* { dg-bogus "above array bounds" } */
      16  
      17    return 0;
      18  }