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