1  /* { dg-do run } */
       2  /* { dg-options "-fsanitize=vla-bound -fno-sanitize-recover=vla-bound" } */
       3  
       4  /* Don't instrument the arrays here.  */
       5  int
       6  foo (int n, int a[])
       7  {
       8    return a[n - 1];
       9  }
      10  
      11  int
      12  main (void)
      13  {
      14    int a[6] = { };
      15    int ret = foo (3, a);
      16    return ret;
      17  }