1 | // Tests -fsanitize-coverage=inline-bool-flag,pc-table |
---|---|
2 | // |
3 | // REQUIRES: has_sancovcc,stable-runtime |
4 | // UNSUPPORTED: i386-darwin, x86_64-darwin |
5 | // |
6 | // RUN: %clangxx -O0 %s -fsanitize-coverage=inline-bool-flag,pc-table -o %t |
7 | // RUN: %run %t 2>&1 | FileCheck %s |
8 | |
9 | #include <assert.h> |
10 | #include <stdint.h> |
11 | #include <stdio.h> |
12 | |
13 | const bool *first_flag; |
14 | |
15 | extern "C"void __sanitizer_cov_bool_flag_init(const bool *start, |
16 | const bool *end) { |
17 | printf(format: "INIT: %p %p\n", start, end); |
18 | assert(end - start > 1); |
19 | first_flag = start; |
20 | } |
21 | |
22 | uintptr_t FirstPC; |
23 | uintptr_t FirstPCFlag; |
24 | |
25 | extern "C"void __sanitizer_cov_pcs_init(const uintptr_t *pcs_beg, |
26 | const uintptr_t *pcs_end) { |
27 | const uintptr_t *B = (const uintptr_t *)pcs_beg; |
28 | const uintptr_t *E = (const uintptr_t *)pcs_end; |
29 | assert(B + 1 < E); |
30 | FirstPC = B[0]; |
31 | FirstPCFlag = B[1]; |
32 | } |
33 | |
34 | int main() { |
35 | assert(first_flag); |
36 | assert(*first_flag); |
37 | assert(FirstPC == (uintptr_t)&main); |
38 | assert(FirstPCFlag == 1); |
39 | fprintf(stderr, format: "PASS\n"); |
40 | // CHECK: PASS |
41 | } |
42 |