Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / 12817e59de3b91b251606bd2d925a64715c2f64c / . / clang / test / Driver / fsanitize-coverage.c
blob: 4073ea4864cdfeb3c9c84284d5cc9637a69d2496 [file] [log] [blame]
Alexey Samsonov3f3b3ab2015-05-07 18:31:29 +0000[diff] [blame]1// RUN: %clang -target x86_64-linux-gnu -fsanitize=address -fsanitize-coverage=0 %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-SANITIZE-COVERAGE-0
Alexey Samsonovdfa908c2015-05-07 22:34:06 +0000[diff] [blame]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
Alexey Samsonov3f3b3ab2015-05-07 18:31:29 +0000[diff] [blame]4// CHECK-SANITIZE-COVERAGE-0-NOT: fsanitize-coverage-type
Kostya Serebryany578787a2016-03-02 19:16:54 +0000[diff] [blame]5// CHECK-SANITIZE-COVERAGE-0: -fsanitize=address
Alexey Samsonovdfa908c2015-05-07 22:34:06 +0000[diff] [blame]6
Kostya Serebryany8955efc2017-05-03 01:27:28 +0000[diff] [blame]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
Alexander Potapenkodc5b95b2017-06-08 16:24:21 +0000[diff] [blame]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
Evgeniy Stepanov12817e52017-12-09 01:32:07 +0000[diff] [blame^]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
Kostya Serebryany8955efc2017-05-03 01:27:28 +0000[diff] [blame]10// 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
11// 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
12// 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
13// 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
14// 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
15// RUN: %clang -target x86_64-linux-gnu -fsanitize-coverage=func,trace-pc %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-SANITIZE-COVERAGE-FUNC
Kostya Serebryany8e3061b2016-02-17 23:57:17 +0000[diff] [blame]16// CHECK-SANITIZE-COVERAGE-FUNC: fsanitize-coverage-type=1
Alexey Samsonovdfa908c2015-05-07 22:34:06 +0000[diff] [blame]17
Kostya Serebryany8e3061b2016-02-17 23:57:17 +0000[diff] [blame]18// RUN: %clang -target x86_64-linux-gnu -fsanitize=address -fsanitize-coverage=bb %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-SANITIZE-COVERAGE-BB
19// CHECK-SANITIZE-COVERAGE-BB: fsanitize-coverage-type=2
20
21// RUN: %clang -target x86_64-linux-gnu -fsanitize=address -fsanitize-coverage=edge %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-SANITIZE-COVERAGE-EDGE
22// CHECK-SANITIZE-COVERAGE-EDGE: fsanitize-coverage-type=3
23
24// 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
25// CHECK-SANITIZE-COVERAGE-FUNC_INDIR: fsanitize-coverage-type=3
26// CHECK-SANITIZE-COVERAGE-FUNC_INDIR: fsanitize-coverage-indirect-calls
Alexey Samsonovdfa908c2015-05-07 22:34:06 +0000[diff] [blame]27
Kostya Serebryany578787a2016-03-02 19:16:54 +0000[diff] [blame]28// RUN: %clang -target x86_64-linux-gnu -fsanitize=address -fsanitize-coverage=1 %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-SANITIZE-COVERAGE-1
Kostya Serebryany9d1ed132017-04-19 19:57:16 +0000[diff] [blame]29// CHECK-SANITIZE-COVERAGE-1: warning: argument '-fsanitize-coverage=1' is deprecated, use '-fsanitize-coverage=trace-pc-guard' instead
Alexey Samsonovdfa908c2015-05-07 22:34:06 +0000[diff] [blame]30
Kostya Serebryany8955efc2017-05-03 01:27:28 +0000[diff] [blame]31// RUN: %clang -target x86_64-linux-gnu -fsanitize=address -fsanitize-coverage=func %s -### 2>&1 | FileCheck %s --check-prefix=CHECK_FUNC_BB_EDGE_DEPRECATED
32// RUN: %clang -target x86_64-linux-gnu -fsanitize=address -fsanitize-coverage=bb %s -### 2>&1 | FileCheck %s --check-prefix=CHECK_FUNC_BB_EDGE_DEPRECATED
33// RUN: %clang -target x86_64-linux-gnu -fsanitize=address -fsanitize-coverage=edge %s -### 2>&1 | FileCheck %s --check-prefix=CHECK_FUNC_BB_EDGE_DEPRECATED
34// 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
Alexey Samsonovde0aff32015-05-21 01:07:52 +0000[diff] [blame]35
Kostya Serebryany1c0e9e92017-04-19 21:31:11 +0000[diff] [blame]36// 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
Alexey Samsonovdfa908c2015-05-07 22:34:06 +0000[diff] [blame]37// CHECK-SANITIZE-COVERAGE-FEATURES: -fsanitize-coverage-type=3
38// CHECK-SANITIZE-COVERAGE-FEATURES: -fsanitize-coverage-indirect-calls
Alexey Samsonovdfa908c2015-05-07 22:34:06 +0000[diff] [blame]39// CHECK-SANITIZE-COVERAGE-FEATURES: -fsanitize-coverage-trace-cmp
Kostya Serebryany3b419712016-08-30 01:27:03 +0000[diff] [blame]40// CHECK-SANITIZE-COVERAGE-FEATURES: -fsanitize-coverage-trace-div
41// CHECK-SANITIZE-COVERAGE-FEATURES: -fsanitize-coverage-trace-gep
Kostya Serebryanyd4590c72016-02-17 21:34:43 +0000[diff] [blame]42// CHECK-SANITIZE-COVERAGE-FEATURES: -fsanitize-coverage-trace-pc
Alexey Samsonovdfa908c2015-05-07 22:34:06 +0000[diff] [blame]43
Kostya Serebryany1c0e9e92017-04-19 21:31:11 +0000[diff] [blame]44// 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
Alexey Samsonovdfa908c2015-05-07 22:34:06 +0000[diff] [blame]45// CHECK-MASK: -fsanitize-coverage-type=1
46// CHECK-MASK: -fsanitize-coverage-trace-cmp
47// CHECK-MASK-NOT: -fsanitize-coverage-
48
49// RUN: %clang -target x86_64-linux-gnu -fsanitize=address -fsanitize-coverage=foobar %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-INVALID-VALUE
50// CHECK-INVALID-VALUE: error: unsupported argument 'foobar' to option 'fsanitize-coverage='
51
52// RUN: %clang -target x86_64-linux-gnu -fsanitize=address -fsanitize-coverage=func -fsanitize-coverage=edge %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-INCOMPATIBLE
53// CHECK-INCOMPATIBLE: error: invalid argument '-fsanitize-coverage=func' not allowed with '-fsanitize-coverage=edge'
54
Kostya Serebryany1a02d8b2017-04-19 20:15:58 +0000[diff] [blame]55// RUN: %clang -target x86_64-linux-gnu -fsanitize-coverage=8bit-counters %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-8BIT
56// CHECK-8BIT: warning: argument '-fsanitize-coverage=8bit-counters' is deprecated, use '-fsanitize-coverage=trace-pc-guard' instead
Kostya Serebryany1c0e9e92017-04-19 21:31:11 +0000[diff] [blame]57// RUN: %clang -target x86_64-linux-gnu -fsanitize-coverage=trace-bb %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-TRACE-BB
58// CHECK-TRACE-BB: warning: argument '-fsanitize-coverage=trace-bb' is deprecated, use '-fsanitize-coverage=trace-pc-guard' instead
Alexey Samsonovdfa908c2015-05-07 22:34:06 +0000[diff] [blame]59
Kostya Serebryany52e86492016-02-18 00:49:23 +0000[diff] [blame]60// RUN: %clang -target x86_64-linux-gnu -fsanitize-coverage=trace-pc %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-TRACE_PC_EDGE
61// RUN: %clang -target x86_64-linux-gnu -fsanitize-coverage=edge,trace-pc %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-TRACE_PC_EDGE
62// CHECK-TRACE_PC_EDGE: -fsanitize-coverage-type=3
63// CHECK-TRACE_PC_EDGE: -fsanitize-coverage-trace-pc
64// RUN: %clang -target x86_64-linux-gnu -fsanitize-coverage=func,trace-pc %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-TRACE_PC_FUNC
65// CHECK-TRACE_PC_FUNC: -fsanitize-coverage-type=1
66// CHECK-TRACE_PC_FUNC: -fsanitize-coverage-trace-pc
67
Kostya Serebryany60cdd612016-09-14 01:39:49 +0000[diff] [blame]68// RUN: %clang -target x86_64-linux-gnu -fsanitize-coverage=trace-pc-guard %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-TRACE_PC_GUARD_EDGE
69// 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
70// CHECK-TRACE_PC_GUARD_EDGE: -fsanitize-coverage-type=3
71// CHECK-TRACE_PC_GUARD_EDGE: -fsanitize-coverage-trace-pc-guard
72// 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
73// CHECK-TRACE_PC_GUARD_FUNC: -fsanitize-coverage-type=1
74// CHECK-TRACE_PC_GUARD_FUNC: -fsanitize-coverage-trace-pc-guard
75
Matt Morehouse5c7fc762017-08-18 18:43:30 +0000[diff] [blame]76// RUN: %clang -target x86_64-linux-gnu -fsanitize-coverage=stack-depth %s \
77// RUN: -### 2>&1 | FileCheck %s --check-prefix=CHECK-STACK-DEPTH
78// RUN: %clang -target x86_64-linux-gnu \
79// RUN: -fsanitize-coverage=trace-pc-guard,stack-depth %s -### 2>&1 | \
80// RUN: FileCheck %s --check-prefix=CHECK-STACK-DEPTH-PC-GUARD
81// CHECK-STACK-DEPTH: -fsanitize-coverage-type=1
82// CHECK-STACK-DEPTH: -fsanitize-coverage-stack-depth
83// CHECK-STACK-DEPTH-PC-GUARD: -fsanitize-coverage-type=3
84// CHECK-STACK-DEPTH-PC-GUARD: -fsanitize-coverage-trace-pc-guard
85// CHECK-STACK-DEPTH-PC-GUARD: -fsanitize-coverage-stack-depth
86
Alexey Samsonovdfa908c2015-05-07 22:34:06 +0000[diff] [blame]87// 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
88// CHECK-NO-TYPE-NECESSARY-NOT: error:
89// CHECK-NO-TYPE-NECESSARY: -fsanitize-coverage-indirect-calls
90// CHECK-NO-TYPE-NECESSARY: -fsanitize-coverage-trace-cmp
91
Kostya Serebryany8e3061b2016-02-17 23:57:17 +0000[diff] [blame]92// 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
Alexey Samsonovdfa908c2015-05-07 22:34:06 +0000[diff] [blame]93// CHECK-EXTEND-LEGACY: -fsanitize-coverage-type=1
94// CHECK-EXTEND-LEGACY: -fsanitize-coverage-trace-cmp
95
Kostya Serebryany50fb6182017-05-05 23:28:18 +0000[diff] [blame]96// RUN: %clang -target x86_64-linux-gnu -fsanitize-coverage=no-prune,trace-pc %s -### 2>&1 | FileCheck %s --check-prefix=CHECK_NOPRUNE
97// RUN: %clang -target x86_64-linux-gnu -fsanitize-coverage=no-prune,func,trace-pc-guard %s -### 2>&1 | FileCheck %s --check-prefix=CHECK_NOPRUNE
98// CHECK_NOPRUNE: -fsanitize-coverage-no-prune
99
Kostya Serebryany2c2fb882017-06-08 22:58:19 +0000[diff] [blame]100// RUN: %clang -target x86_64-linux-gnu -fsanitize-coverage=inline-8bit-counters %s -### 2>&1 | FileCheck %s --check-prefix=CHECK_INLINE8BIT
Kostya Serebryany9f338dc2017-08-08 20:20:40 +0000[diff] [blame]101// RUN: %clang -target x86_64-linux-gnu -fsanitize-coverage=bb,inline-8bit-counters %s -### 2>&1 | FileCheck %s --check-prefix=CHECK_INLINE8BIT
102// CHECK_INLINE8BIT-NOT: warning
Kostya Serebryany2c2fb882017-06-08 22:58:19 +0000[diff] [blame]103// CHECK_INLINE8BIT: -fsanitize-coverage-inline-8bit-counters
104
Kostya Serebryany61457762017-07-28 00:10:10 +0000[diff] [blame]105// RUN: %clang -target x86_64-linux-gnu -fsanitize-coverage=inline-8bit-counters,pc-table %s -### 2>&1 | FileCheck %s --check-prefix=CHECK_PC_TABLE
106// RUN: %clang -target x86_64-linux-gnu -fsanitize-coverage=trace-pc-guard,pc-table %s -### 2>&1 | FileCheck %s --check-prefix=CHECK_PC_TABLE
107// CHECK_PC_TABLE: -fsanitize-coverage-pc-table
108
Kostya Serebryany8955efc2017-05-03 01:27:28 +0000[diff] [blame]109// 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
Alexey Samsonov3f3b3ab2015-05-07 18:31:29 +0000[diff] [blame]110// CLANG-CL-COVERAGE-NOT: error:
111// CLANG-CL-COVERAGE-NOT: warning:
112// CLANG-CL-COVERAGE-NOT: argument unused
113// CLANG-CL-COVERAGE-NOT: unknown argument
Alexey Samsonov3f3b3ab2015-05-07 18:31:29 +0000[diff] [blame]114// CLANG-CL-COVERAGE: -fsanitize-coverage-type=1
Kostya Serebryany52e86492016-02-18 00:49:23 +0000[diff] [blame]115// CLANG-CL-COVERAGE: -fsanitize=address
Petr Hosekeb4127f2017-07-21 01:17:49 +0000[diff] [blame]116
117// 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
118// CHECK-VS-SAFESTACK: -fsanitize=safe-stack
119// CHECK-VS-SAFESTACK-NOT: -fsanitize-coverage-trace-pc-guard
120
121// 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
122// CHECK-NO-SAFESTACK-NOT: error:
123// CHECK-NO-SAFESTACK-NOT: warning:
124// CHECK-NO-SAFESTACK-NOT: argument unused
125// CHECK-NO-SAFESTACK-NOT: unknown argument
126// CHECK-NO-SAFESTACK-NOT: -fsanitize=safe-stack
127// CHECK-NO-SAFESTACK: -fsanitize-coverage-trace-pc-guard