1  /* { dg-do run } */
       2  /* { dg-options "-fsanitize=vla-bound -fno-sanitize-recover=vla-bound" } */
       3  
       4  int
       5  main (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  }