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