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
foo(int n,int a[])6 foo (int n, int a[])
7 {
8   return a[n - 1];
9 }
10 
11 int
main(void)12 main (void)
13 {
14   int a[6] = { };
15   int ret = foo (3, a);
16   return ret;
17 }
18