diff options
Diffstat (limited to 'gcc-4.9/gcc/testsuite/gcc.dg')
-rw-r--r-- | gcc-4.9/gcc/testsuite/gcc.dg/sancov/asan.c | 18 | ||||
-rw-r--r-- | gcc-4.9/gcc/testsuite/gcc.dg/sancov/basic0.c | 9 | ||||
-rw-r--r-- | gcc-4.9/gcc/testsuite/gcc.dg/sancov/basic1.c | 12 | ||||
-rw-r--r-- | gcc-4.9/gcc/testsuite/gcc.dg/sancov/basic2.c | 14 |
4 files changed, 53 insertions, 0 deletions
diff --git a/gcc-4.9/gcc/testsuite/gcc.dg/sancov/asan.c b/gcc-4.9/gcc/testsuite/gcc.dg/sancov/asan.c new file mode 100644 index 000000000..64a36b54a --- /dev/null +++ b/gcc-4.9/gcc/testsuite/gcc.dg/sancov/asan.c @@ -0,0 +1,18 @@ +/* Test coverage/asan interaction: + - coverage instruments __asan_init ctor (thus 4 covarage callbacks) + - coverage does not instrument asan-emitted basic blocks + - asan considers coverage callback as "nonfreeing" (thus 1 asan store + callback. */ +/* { dg-do compile { target fsanitize_address } } */ +/* { dg-options "-fsanitize-coverage=trace-pc -fsanitize=address -fdump-tree-optimized" } */ + +void foo(volatile int *a, int *b) +{ + *a = 1; + if (*b) + *a = 2; +} + +/* { dg-final { scan-tree-dump-times "__builtin___sanitizer_cov_trace_pc \\(\\)" 4 "optimized" } } */ +/* { dg-final { scan-tree-dump-times "__builtin___asan_report_load4 \\(" 1 "optimized" } } */ +/* { dg-final { scan-tree-dump-times "__builtin___asan_report_store4 \\(" 1 "optimized" } } */ diff --git a/gcc-4.9/gcc/testsuite/gcc.dg/sancov/basic0.c b/gcc-4.9/gcc/testsuite/gcc.dg/sancov/basic0.c new file mode 100644 index 000000000..af69b2d12 --- /dev/null +++ b/gcc-4.9/gcc/testsuite/gcc.dg/sancov/basic0.c @@ -0,0 +1,9 @@ +/* Basic test on number of inserted callbacks. */ +/* { dg-do compile } */ +/* { dg-options "-fsanitize-coverage=trace-pc -fdump-tree-optimized" } */ + +void foo(void) +{ +} + +/* { dg-final { scan-tree-dump-times "__builtin___sanitizer_cov_trace_pc \\(\\)" 1 "optimized" } } */ diff --git a/gcc-4.9/gcc/testsuite/gcc.dg/sancov/basic1.c b/gcc-4.9/gcc/testsuite/gcc.dg/sancov/basic1.c new file mode 100644 index 000000000..e0ae5b4d7 --- /dev/null +++ b/gcc-4.9/gcc/testsuite/gcc.dg/sancov/basic1.c @@ -0,0 +1,12 @@ +/* Basic test on number of inserted callbacks. */ +/* { dg-do compile } */ +/* { dg-options "-fsanitize-coverage=trace-pc -fdump-tree-optimized" } */ + +void foo (int *a, int *b, int *c) +{ + *a = 1; + if (*b) + *c = 2; +} + +/* { dg-final { scan-tree-dump-times "__builtin___sanitizer_cov_trace_pc \\(\\)" 3 "optimized" } } */ diff --git a/gcc-4.9/gcc/testsuite/gcc.dg/sancov/basic2.c b/gcc-4.9/gcc/testsuite/gcc.dg/sancov/basic2.c new file mode 100644 index 000000000..ac2ec7850 --- /dev/null +++ b/gcc-4.9/gcc/testsuite/gcc.dg/sancov/basic2.c @@ -0,0 +1,14 @@ +/* Basic test on number of inserted callbacks. */ +/* { dg-do compile } */ +/* { dg-options "-fsanitize-coverage=trace-pc -fdump-tree-optimized" } */ + +void foo(int *a, int *b, int *c, int *d) +{ + *a = 1; + if (*b) + *c = 2; + else + *d = 3; +} + +/* { dg-final { scan-tree-dump-times "__builtin___sanitizer_cov_trace_pc \\(\\)" 4 "optimized" } } */ |