diff options
Diffstat (limited to 'gcc-4.9/gcc/testsuite/c-c++-common/ubsan/vla-4.c')
-rw-r--r-- | gcc-4.9/gcc/testsuite/c-c++-common/ubsan/vla-4.c | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/gcc-4.9/gcc/testsuite/c-c++-common/ubsan/vla-4.c b/gcc-4.9/gcc/testsuite/c-c++-common/ubsan/vla-4.c new file mode 100644 index 000000000..8a7bbac9a --- /dev/null +++ b/gcc-4.9/gcc/testsuite/c-c++-common/ubsan/vla-4.c @@ -0,0 +1,21 @@ +/* { dg-do run } */ +/* { dg-options "-fsanitize=vla-bound" } */ + +#include <stdio.h> + +int +main (void) +{ + fputs ("UBSAN TEST START\n", stderr); + + int x = 1; + /* Check that the size of an array is evaluated only once. */ + int a[++x]; + if (x != 2) + __builtin_abort (); + + fputs ("UBSAN TEST END\n", stderr); + return 0; +} + +/* { dg-output "UBSAN TEST START(\n|\r\n|\r)UBSAN TEST END" } */ |