1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
|
// Tests -fsanitize-coverage=trace-pc,trace-loads,trace-stores
//
// REQUIRES: has_sancovcc,stable-runtime,x86_64
//
// RUN: %clangxx -O0 %s -fsanitize-coverage=trace-pc,trace-loads,trace-stores -o %t
// RUN: %run %t 2>&1 | FileCheck %s
#include <stdint.h>
#include <stdio.h>
extern "C" {
void __sanitizer_cov_load1(uint8_t *addr) { printf("load1: %p\n", addr); }
void __sanitizer_cov_load2(uint16_t *addr) { printf("load2: %p\n", addr); }
void __sanitizer_cov_load4(uint32_t *addr) { printf("load4: %p\n", addr); }
void __sanitizer_cov_load8(uint64_t *addr) { printf("load8: %p\n", addr); }
void __sanitizer_cov_load16(__int128 *addr) { printf("load16: %p\n", addr); }
void __sanitizer_cov_store1(uint8_t *addr) { printf("store1: %p\n", addr); }
void __sanitizer_cov_store2(uint16_t *addr) { printf("store2: %p\n", addr); }
void __sanitizer_cov_store4(uint32_t *addr) { printf("store4: %p\n", addr); }
void __sanitizer_cov_store8(uint64_t *addr) { printf("store8: %p\n", addr); }
void __sanitizer_cov_store16(__int128 *addr) { printf("store16: %p\n", addr); }
}
uint8_t var1;
uint16_t var2;
uint32_t var4;
uint64_t var8;
__int128 var16;
static volatile int sink;
int main() {
printf("var1: %p\n", &var1);
sink = var1;
var1 = 42;
// CHECK: var1: [[ADDR:0x.*]]
// CHECK: load1: [[ADDR]]
// CHECK: store1: [[ADDR]]
printf("var2: %p\n", &var2);
sink = var2;
var2 = 42;
// CHECK: var2: [[ADDR:0x.*]]
// CHECK: load2: [[ADDR]]
// CHECK: store2: [[ADDR]]
printf("var4: %p\n", &var4);
sink = var4;
var4 = 42;
// CHECK: var4: [[ADDR:0x.*]]
// CHECK: load4: [[ADDR]]
// CHECK: store4: [[ADDR]]
printf("var8: %p\n", &var8);
sink = var8;
var8 = 42;
// CHECK: var8: [[ADDR:0x.*]]
// CHECK: load8: [[ADDR]]
// CHECK: store8: [[ADDR]]
printf("var16: %p\n", &var16);
sink = var16;
var16 = 42;
// CHECK: var16: [[ADDR:0x.*]]
// CHECK: load16: [[ADDR]]
// CHECK: store16: [[ADDR]]
printf("PASS\n");
}
|
