Clang Project

clang_source_code/test/Driver/fsanitize-coverage.c
1// RUN: %clang -target x86_64-linux-gnu -fsanitize=address -fsanitize-coverage=0 %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-SANITIZE-COVERAGE-0
2// RUN: %clang -target x86_64-linux-gnu -fsanitize=address -fsanitize-coverage=edge -fsanitize-coverage=0 %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-SANITIZE-COVERAGE-0
3// RUN: %clang -target x86_64-linux-gnu -fsanitize=address %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-SANITIZE-COVERAGE-0
4// CHECK-SANITIZE-COVERAGE-0-NOT: fsanitize-coverage-type
5// CHECK-SANITIZE-COVERAGE-0: -fsanitize=address
6
7// RUN: %clang -target x86_64-linux-gnu -fsanitize=address -fsanitize-coverage=func,trace-pc %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-SANITIZE-COVERAGE-FUNC
8// RUN: %clang -target x86_64-linux-gnu -fsanitize=kernel-address -fsanitize-coverage=func,trace-pc %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-SANITIZE-COVERAGE-FUNC
9// RUN: %clang -target x86_64-linux-gnu -fsanitize=hwaddress -fsanitize-coverage=func,trace-pc %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-SANITIZE-COVERAGE-FUNC
10// RUN: %clang -target x86_64-linux-gnu -fsanitize=kernel-hwaddress -fsanitize-coverage=func,trace-pc %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-SANITIZE-COVERAGE-FUNC
11// RUN: %clang -target x86_64-linux-gnu -fsanitize=memory -fsanitize-coverage=func,trace-pc %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-SANITIZE-COVERAGE-FUNC
12// RUN: %clang -target x86_64-linux-gnu -fsanitize=kernel-memory -fsanitize-coverage=func,trace-pc %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-SANITIZE-COVERAGE-FUNC
13// RUN: %clang -target x86_64-linux-gnu -fsanitize=leak -fsanitize-coverage=func,trace-pc %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-SANITIZE-COVERAGE-FUNC
14// RUN: %clang -target x86_64-linux-gnu -fsanitize=undefined -fsanitize-coverage=func,trace-pc %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-SANITIZE-COVERAGE-FUNC
15// RUN: %clang -target x86_64-linux-gnu -fsanitize=bool -fsanitize-coverage=func,trace-pc %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-SANITIZE-COVERAGE-FUNC
16// RUN: %clang -target x86_64-linux-gnu -fsanitize=dataflow -fsanitize-coverage=func,trace-pc %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-SANITIZE-COVERAGE-FUNC
17// RUN: %clang -target x86_64-linux-gnu                     -fsanitize-coverage=func,trace-pc %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-SANITIZE-COVERAGE-FUNC
18// CHECK-SANITIZE-COVERAGE-FUNC: fsanitize-coverage-type=1
19
20// RUN: %clang -target x86_64-linux-gnu -fsanitize=address -fsanitize-coverage=bb %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-SANITIZE-COVERAGE-BB
21// CHECK-SANITIZE-COVERAGE-BB: fsanitize-coverage-type=2
22
23// RUN: %clang -target x86_64-linux-gnu -fsanitize=address -fsanitize-coverage=edge %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-SANITIZE-COVERAGE-EDGE
24// CHECK-SANITIZE-COVERAGE-EDGE: fsanitize-coverage-type=3
25
26// RUN: %clang -target x86_64-linux-gnu -fsanitize=address -fsanitize-coverage=edge,indirect-calls %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-SANITIZE-COVERAGE-FUNC_INDIR
27// CHECK-SANITIZE-COVERAGE-FUNC_INDIR: fsanitize-coverage-type=3
28// CHECK-SANITIZE-COVERAGE-FUNC_INDIR: fsanitize-coverage-indirect-calls
29
30// RUN: %clang -target x86_64-linux-gnu -fsanitize=address -fsanitize-coverage=1 %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-SANITIZE-COVERAGE-1
31// CHECK-SANITIZE-COVERAGE-1: warning: argument '-fsanitize-coverage=1' is deprecated, use '-fsanitize-coverage=trace-pc-guard' instead
32
33// RUN: %clang -target x86_64-linux-gnu -fsanitize=address -fsanitize-coverage=func %s -### 2>&1 | FileCheck %s --check-prefix=CHECK_FUNC_BB_EDGE_DEPRECATED
34// RUN: %clang -target x86_64-linux-gnu -fsanitize=address -fsanitize-coverage=bb %s -### 2>&1 | FileCheck %s --check-prefix=CHECK_FUNC_BB_EDGE_DEPRECATED
35// RUN: %clang -target x86_64-linux-gnu -fsanitize=address -fsanitize-coverage=edge %s -### 2>&1 | FileCheck %s --check-prefix=CHECK_FUNC_BB_EDGE_DEPRECATED
36// CHECK_FUNC_BB_EDGE_DEPRECATED: warning: argument '-fsanitize-coverage=[func|bb|edge]' is deprecated, use '-fsanitize-coverage=[func|bb|edge],[trace-pc-guard|trace-pc]' instead
37
38// RUN: %clang -target x86_64-linux-gnu -fsanitize=address -fsanitize-coverage=edge,indirect-calls,trace-pc,trace-cmp,trace-div,trace-gep %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-SANITIZE-COVERAGE-FEATURES
39// CHECK-SANITIZE-COVERAGE-FEATURES: -fsanitize-coverage-type=3
40// CHECK-SANITIZE-COVERAGE-FEATURES: -fsanitize-coverage-indirect-calls
41// CHECK-SANITIZE-COVERAGE-FEATURES: -fsanitize-coverage-trace-cmp
42// CHECK-SANITIZE-COVERAGE-FEATURES: -fsanitize-coverage-trace-div
43// CHECK-SANITIZE-COVERAGE-FEATURES: -fsanitize-coverage-trace-gep
44// CHECK-SANITIZE-COVERAGE-FEATURES: -fsanitize-coverage-trace-pc
45
46// RUN: %clang -target x86_64-linux-gnu -fsanitize=address -fsanitize-coverage=func,edge,indirect-calls,trace-cmp -fno-sanitize-coverage=edge,indirect-calls %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-MASK
47// CHECK-MASK: -fsanitize-coverage-type=1
48// CHECK-MASK: -fsanitize-coverage-trace-cmp
49// CHECK-MASK-NOT: -fsanitize-coverage-
50
51// RUN: %clang -target x86_64-linux-gnu -fsanitize=address -fsanitize-coverage=foobar %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-INVALID-VALUE
52// CHECK-INVALID-VALUE: error: unsupported argument 'foobar' to option 'fsanitize-coverage='
53
54// RUN: %clang -target x86_64-linux-gnu -fsanitize=address -fsanitize-coverage=func -fsanitize-coverage=edge %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-INCOMPATIBLE
55// CHECK-INCOMPATIBLE: error: invalid argument '-fsanitize-coverage=func' not allowed with '-fsanitize-coverage=edge'
56
57// RUN: %clang -target x86_64-linux-gnu -fsanitize-coverage=8bit-counters %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-8BIT
58// CHECK-8BIT: warning: argument '-fsanitize-coverage=8bit-counters' is deprecated, use '-fsanitize-coverage=trace-pc-guard' instead
59// RUN: %clang -target x86_64-linux-gnu -fsanitize-coverage=trace-bb %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-TRACE-BB
60// CHECK-TRACE-BB: warning: argument '-fsanitize-coverage=trace-bb' is deprecated, use '-fsanitize-coverage=trace-pc-guard' instead
61
62// RUN: %clang -target x86_64-linux-gnu -fsanitize-coverage=trace-pc %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-TRACE_PC_EDGE
63// RUN: %clang -target x86_64-linux-gnu -fsanitize-coverage=edge,trace-pc %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-TRACE_PC_EDGE
64// CHECK-TRACE_PC_EDGE: -fsanitize-coverage-type=3
65// CHECK-TRACE_PC_EDGE: -fsanitize-coverage-trace-pc
66// RUN: %clang -target x86_64-linux-gnu -fsanitize-coverage=func,trace-pc %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-TRACE_PC_FUNC
67// CHECK-TRACE_PC_FUNC: -fsanitize-coverage-type=1
68// CHECK-TRACE_PC_FUNC: -fsanitize-coverage-trace-pc
69
70// RUN: %clang -target x86_64-linux-gnu -fsanitize-coverage=trace-pc-guard %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-TRACE_PC_GUARD_EDGE
71// RUN: %clang -target x86_64-linux-gnu -fsanitize-coverage=edge,trace-pc-guard %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-TRACE_PC_GUARD_EDGE
72// CHECK-TRACE_PC_GUARD_EDGE: -fsanitize-coverage-type=3
73// CHECK-TRACE_PC_GUARD_EDGE: -fsanitize-coverage-trace-pc-guard
74// RUN: %clang -target x86_64-linux-gnu -fsanitize-coverage=func,trace-pc-guard %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-TRACE_PC_GUARD_FUNC
75// CHECK-TRACE_PC_GUARD_FUNC: -fsanitize-coverage-type=1
76// CHECK-TRACE_PC_GUARD_FUNC: -fsanitize-coverage-trace-pc-guard
77
78// RUN: %clang -target x86_64-linux-gnu -fsanitize-coverage=stack-depth %s \
79// RUN:     -### 2>&1 | FileCheck %s --check-prefix=CHECK-STACK-DEPTH
80// RUN: %clang -target x86_64-linux-gnu \
81// RUN:     -fsanitize-coverage=trace-pc-guard,stack-depth %s -### 2>&1 | \
82// RUN:     FileCheck %s --check-prefix=CHECK-STACK-DEPTH-PC-GUARD
83// CHECK-STACK-DEPTH: -fsanitize-coverage-type=1
84// CHECK-STACK-DEPTH: -fsanitize-coverage-stack-depth
85// CHECK-STACK-DEPTH-PC-GUARD: -fsanitize-coverage-type=3
86// CHECK-STACK-DEPTH-PC-GUARD: -fsanitize-coverage-trace-pc-guard
87// CHECK-STACK-DEPTH-PC-GUARD: -fsanitize-coverage-stack-depth
88
89// RUN: %clang -target x86_64-linux-gnu -fsanitize=address -fsanitize-coverage=trace-cmp,indirect-calls %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-NO-TYPE-NECESSARY
90// CHECK-NO-TYPE-NECESSARY-NOT: error:
91// CHECK-NO-TYPE-NECESSARY: -fsanitize-coverage-indirect-calls
92// CHECK-NO-TYPE-NECESSARY: -fsanitize-coverage-trace-cmp
93
94// RUN: %clang -target x86_64-linux-gnu -fsanitize=address -fsanitize-coverage=func -fsanitize-coverage=trace-cmp %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-EXTEND-LEGACY
95// CHECK-EXTEND-LEGACY: -fsanitize-coverage-type=1
96// CHECK-EXTEND-LEGACY: -fsanitize-coverage-trace-cmp
97
98// RUN: %clang -target x86_64-linux-gnu -fsanitize-coverage=no-prune,trace-pc %s -### 2>&1 | FileCheck %s --check-prefix=CHECK_NOPRUNE
99// RUN: %clang -target x86_64-linux-gnu -fsanitize-coverage=no-prune,func,trace-pc-guard %s -### 2>&1 | FileCheck %s --check-prefix=CHECK_NOPRUNE
100// CHECK_NOPRUNE: -fsanitize-coverage-no-prune
101
102// RUN: %clang -target x86_64-linux-gnu -fsanitize-coverage=inline-8bit-counters %s -### 2>&1 | FileCheck %s --check-prefix=CHECK_INLINE8BIT
103// RUN: %clang -target x86_64-linux-gnu -fsanitize-coverage=bb,inline-8bit-counters %s -### 2>&1 | FileCheck %s --check-prefix=CHECK_INLINE8BIT
104// CHECK_INLINE8BIT-NOT: warning
105// CHECK_INLINE8BIT: -fsanitize-coverage-inline-8bit-counters
106
107// RUN: %clang -target x86_64-linux-gnu -fsanitize-coverage=inline-8bit-counters,pc-table %s -### 2>&1 | FileCheck %s --check-prefix=CHECK_PC_TABLE
108// RUN: %clang -target x86_64-linux-gnu -fsanitize-coverage=trace-pc-guard,pc-table %s -### 2>&1 | FileCheck %s --check-prefix=CHECK_PC_TABLE
109// CHECK_PC_TABLE: -fsanitize-coverage-pc-table
110
111// RUN: %clang_cl --target=i386-pc-win32 -fsanitize=address -fsanitize-coverage=func,trace-pc-guard -c -### -- %s 2>&1 | FileCheck %s -check-prefix=CLANG-CL-COVERAGE
112// CLANG-CL-COVERAGE-NOT: error:
113// CLANG-CL-COVERAGE-NOT: warning:
114// CLANG-CL-COVERAGE-NOT: argument unused
115// CLANG-CL-COVERAGE-NOT: unknown argument
116// CLANG-CL-COVERAGE: -fsanitize-coverage-type=1
117// CLANG-CL-COVERAGE: -fsanitize=address
118
119// RUN: %clang -target x86_64-linux-gnu -fsanitize=safe-stack -fsanitize-coverage=trace-pc-guard %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-VS-SAFESTACK
120// CHECK-VS-SAFESTACK: -fsanitize=safe-stack
121// CHECK-VS-SAFESTACK-NOT: -fsanitize-coverage-trace-pc-guard
122
123// RUN: %clang -target x86_64-linux-gnu -fsanitize=safe-stack -fsanitize-coverage=trace-pc-guard -fno-sanitize=safe-stack %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-NO-SAFESTACK
124// CHECK-NO-SAFESTACK-NOT: error:
125// CHECK-NO-SAFESTACK-NOT: warning:
126// CHECK-NO-SAFESTACK-NOT: argument unused
127// CHECK-NO-SAFESTACK-NOT: unknown argument
128// CHECK-NO-SAFESTACK-NOT: -fsanitize=safe-stack
129// CHECK-NO-SAFESTACK: -fsanitize-coverage-trace-pc-guard
130
CodeThinker, Enjoy your reading code