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