diff options
Diffstat (limited to 'gcc-4.9/gcc/testsuite/c-c++-common/ubsan/vla-3.c')
-rw-r--r-- | gcc-4.9/gcc/testsuite/c-c++-common/ubsan/vla-3.c | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/gcc-4.9/gcc/testsuite/c-c++-common/ubsan/vla-3.c b/gcc-4.9/gcc/testsuite/c-c++-common/ubsan/vla-3.c new file mode 100644 index 000000000..7772857fd --- /dev/null +++ b/gcc-4.9/gcc/testsuite/c-c++-common/ubsan/vla-3.c @@ -0,0 +1,25 @@ +/* { dg-do run } */ +/* { dg-options "-fsanitize=vla-bound" } */ + +#include <stdio.h> + +/* Don't instrument the arrays here. */ +int +foo (int n, int a[]) +{ + return a[n - 1]; +} + +int +main (void) +{ + fputs ("UBSAN TEST START\n", stderr); + + int a[6] = { }; + int ret = foo (3, a); + + fputs ("UBSAN TEST END\n", stderr); + return ret; +} + +/* { dg-output "UBSAN TEST START(\n|\r\n|\r)UBSAN TEST END" } */ |