main/gcc/testsuite/c-c++-common/ubsan/vla-4.c

   1 /* { dg-do run } */
   2 /* { dg-options "-fsanitize=vla-bound" } */
   3
   4 #include <stdio.h>
   5
   6 int
   7 main (void)
   8 {
   9   fputs ("UBSAN TEST START\n", stderr);
  10
  11   int x = 1;
  12   /* Check that the size of an array is evaluated only once.  */
  13   int a[++x];
  14   if (x != 2)
  15     __builtin_abort ();
  16
  17   fputs ("UBSAN TEST END\n", stderr);
  18   return 0;
  19 }
  20
  21 /* { dg-output "UBSAN TEST START(\n|\r\n|\r)UBSAN TEST END" } */