xref: /aosp_15_r20/external/clang/test/Driver/fsanitize-coverage.c (revision 67e74705e28f6214e480b399dd47ea732279e315)
1*67e74705SXin Li // RUN: %clang -target x86_64-linux-gnu -fsanitize=address -fsanitize-coverage=0 %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-SANITIZE-COVERAGE-0
2*67e74705SXin Li // 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*67e74705SXin Li // RUN: %clang -target x86_64-linux-gnu -fsanitize=address %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-SANITIZE-COVERAGE-0
4*67e74705SXin Li // CHECK-SANITIZE-COVERAGE-0-NOT: fsanitize-coverage-type
5*67e74705SXin Li // CHECK-SANITIZE-COVERAGE-0: -fsanitize=address
6*67e74705SXin Li 
7*67e74705SXin Li // RUN: %clang -target x86_64-linux-gnu -fsanitize=address -fsanitize-coverage=func %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-SANITIZE-COVERAGE-FUNC
8*67e74705SXin Li // RUN: %clang -target x86_64-linux-gnu -fsanitize=memory -fsanitize-coverage=func %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-SANITIZE-COVERAGE-FUNC
9*67e74705SXin Li // RUN: %clang -target x86_64-linux-gnu -fsanitize=leak -fsanitize-coverage=func %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-SANITIZE-COVERAGE-FUNC
10*67e74705SXin Li // RUN: %clang -target x86_64-linux-gnu -fsanitize=undefined -fsanitize-coverage=func %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-SANITIZE-COVERAGE-FUNC
11*67e74705SXin Li // RUN: %clang -target x86_64-linux-gnu -fsanitize=bool -fsanitize-coverage=func %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-SANITIZE-COVERAGE-FUNC
12*67e74705SXin Li // RUN: %clang -target x86_64-linux-gnu -fsanitize=dataflow -fsanitize-coverage=func %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-SANITIZE-COVERAGE-FUNC
13*67e74705SXin Li // CHECK-SANITIZE-COVERAGE-FUNC: fsanitize-coverage-type=1
14*67e74705SXin Li 
15*67e74705SXin Li // RUN: %clang -target x86_64-linux-gnu -fsanitize=address -fsanitize-coverage=bb %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-SANITIZE-COVERAGE-BB
16*67e74705SXin Li // CHECK-SANITIZE-COVERAGE-BB: fsanitize-coverage-type=2
17*67e74705SXin Li 
18*67e74705SXin Li // RUN: %clang -target x86_64-linux-gnu -fsanitize=address -fsanitize-coverage=edge %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-SANITIZE-COVERAGE-EDGE
19*67e74705SXin Li // CHECK-SANITIZE-COVERAGE-EDGE: fsanitize-coverage-type=3
20*67e74705SXin Li 
21*67e74705SXin Li // 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
22*67e74705SXin Li // CHECK-SANITIZE-COVERAGE-FUNC_INDIR: fsanitize-coverage-type=3
23*67e74705SXin Li // CHECK-SANITIZE-COVERAGE-FUNC_INDIR: fsanitize-coverage-indirect-calls
24*67e74705SXin Li 
25*67e74705SXin Li // RUN: %clang -target x86_64-linux-gnu -fsanitize=address -fsanitize-coverage=1 %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-SANITIZE-COVERAGE-1
26*67e74705SXin Li // CHECK-SANITIZE-COVERAGE-1: warning: argument '-fsanitize-coverage=1' is deprecated, use '-fsanitize-coverage=func' instead
27*67e74705SXin Li // RUN: %clang -target x86_64-linux-gnu -fsanitize=address -fsanitize-coverage=2 %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-SANITIZE-COVERAGE-2
28*67e74705SXin Li // CHECK-SANITIZE-COVERAGE-2: warning: argument '-fsanitize-coverage=2' is deprecated, use '-fsanitize-coverage=bb' instead
29*67e74705SXin Li // RUN: %clang -target x86_64-linux-gnu -fsanitize=address -fsanitize-coverage=3 %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-SANITIZE-COVERAGE-3
30*67e74705SXin Li // CHECK-SANITIZE-COVERAGE-3: warning: argument '-fsanitize-coverage=3' is deprecated, use '-fsanitize-coverage=edge' instead
31*67e74705SXin Li //
32*67e74705SXin Li // RUN: %clang -target x86_64-linux-gnu -fsanitize=address -fsanitize-coverage=5 %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-SANITIZE-COVERAGE-5
33*67e74705SXin Li // CHECK-SANITIZE-COVERAGE-5: error: unsupported argument '5' to option 'fsanitize-coverage='
34*67e74705SXin Li 
35*67e74705SXin Li // RUN: %clang -target x86_64-linux-gnu -fsanitize=thread   -fsanitize-coverage=func %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-SANITIZE-COVERAGE-UNUSED
36*67e74705SXin Li // RUN: %clang -target x86_64-linux-gnu                     -fsanitize-coverage=func %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-SANITIZE-COVERAGE-FUNC
37*67e74705SXin Li // CHECK-SANITIZE-COVERAGE-UNUSED: argument unused during compilation: '-fsanitize-coverage=func'
38*67e74705SXin Li // CHECK-SANITIZE-COVERAGE-UNUSED-NOT: -fsanitize-coverage-type=1
39*67e74705SXin Li 
40*67e74705SXin Li // RUN: %clang -target x86_64-linux-gnu -fsanitize=address -fsanitize-coverage=func -fno-sanitize=address %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-SANITIZE-COVERAGE-SAN-DISABLED
41*67e74705SXin Li // CHECK-SANITIZE-COVERAGE-SAN-DISABLED-NOT: argument unused
42*67e74705SXin Li 
43*67e74705SXin Li // RUN: %clang -target x86_64-linux-gnu -fsanitize=address -fsanitize-coverage=edge,indirect-calls,trace-bb,trace-pc,trace-cmp,8bit-counters %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-SANITIZE-COVERAGE-FEATURES
44*67e74705SXin Li // CHECK-SANITIZE-COVERAGE-FEATURES: -fsanitize-coverage-type=3
45*67e74705SXin Li // CHECK-SANITIZE-COVERAGE-FEATURES: -fsanitize-coverage-indirect-calls
46*67e74705SXin Li // CHECK-SANITIZE-COVERAGE-FEATURES: -fsanitize-coverage-trace-bb
47*67e74705SXin Li // CHECK-SANITIZE-COVERAGE-FEATURES: -fsanitize-coverage-trace-cmp
48*67e74705SXin Li // CHECK-SANITIZE-COVERAGE-FEATURES: -fsanitize-coverage-8bit-counters
49*67e74705SXin Li // CHECK-SANITIZE-COVERAGE-FEATURES: -fsanitize-coverage-trace-pc
50*67e74705SXin Li 
51*67e74705SXin Li // RUN: %clang -target x86_64-linux-gnu -fsanitize=address -fsanitize-coverage=func,edge,indirect-calls,trace-bb,trace-cmp -fno-sanitize-coverage=edge,indirect-calls,trace-bb %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-MASK
52*67e74705SXin Li // CHECK-MASK: -fsanitize-coverage-type=1
53*67e74705SXin Li // CHECK-MASK: -fsanitize-coverage-trace-cmp
54*67e74705SXin Li // CHECK-MASK-NOT: -fsanitize-coverage-
55*67e74705SXin Li 
56*67e74705SXin Li // RUN: %clang -target x86_64-linux-gnu -fsanitize=address -fsanitize-coverage=foobar %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-INVALID-VALUE
57*67e74705SXin Li // CHECK-INVALID-VALUE: error: unsupported argument 'foobar' to option 'fsanitize-coverage='
58*67e74705SXin Li 
59*67e74705SXin Li // RUN: %clang -target x86_64-linux-gnu -fsanitize=address -fsanitize-coverage=func -fsanitize-coverage=edge %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-INCOMPATIBLE
60*67e74705SXin Li // CHECK-INCOMPATIBLE: error: invalid argument '-fsanitize-coverage=func' not allowed with '-fsanitize-coverage=edge'
61*67e74705SXin Li 
62*67e74705SXin Li // RUN: %clang -target x86_64-linux-gnu -fsanitize=address -fsanitize-coverage=8bit-counters %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-MISSING-TYPE
63*67e74705SXin Li // CHECK-MISSING-TYPE: error: invalid argument '-fsanitize-coverage=8bit-counters' only allowed with '-fsanitize-coverage=(func|bb|edge)'
64*67e74705SXin Li 
65*67e74705SXin Li // RUN: %clang -target x86_64-linux-gnu -fsanitize-coverage=trace-pc %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-TRACE_PC_EDGE
66*67e74705SXin Li // RUN: %clang -target x86_64-linux-gnu -fsanitize-coverage=edge,trace-pc %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-TRACE_PC_EDGE
67*67e74705SXin Li // CHECK-TRACE_PC_EDGE: -fsanitize-coverage-type=3
68*67e74705SXin Li // CHECK-TRACE_PC_EDGE: -fsanitize-coverage-trace-pc
69*67e74705SXin Li // RUN: %clang -target x86_64-linux-gnu -fsanitize-coverage=func,trace-pc %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-TRACE_PC_FUNC
70*67e74705SXin Li // CHECK-TRACE_PC_FUNC: -fsanitize-coverage-type=1
71*67e74705SXin Li // CHECK-TRACE_PC_FUNC: -fsanitize-coverage-trace-pc
72*67e74705SXin Li 
73*67e74705SXin Li // 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
74*67e74705SXin Li // CHECK-NO-TYPE-NECESSARY-NOT: error:
75*67e74705SXin Li // CHECK-NO-TYPE-NECESSARY: -fsanitize-coverage-indirect-calls
76*67e74705SXin Li // CHECK-NO-TYPE-NECESSARY: -fsanitize-coverage-trace-cmp
77*67e74705SXin Li 
78*67e74705SXin Li // 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
79*67e74705SXin Li // CHECK-EXTEND-LEGACY: -fsanitize-coverage-type=1
80*67e74705SXin Li // CHECK-EXTEND-LEGACY: -fsanitize-coverage-trace-cmp
81*67e74705SXin Li 
82*67e74705SXin Li // RUN: %clang_cl --target=i386-pc-win32 -fsanitize=address -fsanitize-coverage=func -c -### -- %s 2>&1 | FileCheck %s -check-prefix=CLANG-CL-COVERAGE
83*67e74705SXin Li // CLANG-CL-COVERAGE-NOT: error:
84*67e74705SXin Li // CLANG-CL-COVERAGE-NOT: warning:
85*67e74705SXin Li // CLANG-CL-COVERAGE-NOT: argument unused
86*67e74705SXin Li // CLANG-CL-COVERAGE-NOT: unknown argument
87*67e74705SXin Li // CLANG-CL-COVERAGE: -fsanitize-coverage-type=1
88*67e74705SXin Li // CLANG-CL-COVERAGE: -fsanitize=address
89