1/* { dg-do run } */
2/* { dg-options "-fsanitize=vla-bound -fno-sanitize-recover=vla-bound" } */
3
4int
5main (void)
6{
7 int x = 1;
8 /* Check that the size of an array is evaluated only once. */
9 int a[++x];
10 if (x != 2)
11 __builtin_abort ();
12 return 0;
13}
14