blob: d00af6ba3d82be627e2716f0210c6c93df4c5eed (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
/* 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 } */
/* { dg-skip-if "" { *-*-* } { "-flto" } { "" } } */
/* { 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" } } */
|
