Blame - clang/test/Driver/fsanitize-coverage.c - toolchain/llvm-project

blob: acc712c001ba70f1a74645a8d1d87cdf3c4100f0 [file] [log] [blame]

Alexey Samsonov	3f3b3ab	2015-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 Samsonov	dfa908c	2015-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 Samsonov	3f3b3ab	2015-05-07 18:31:29 +0000	[diff] [blame]	4	// CHECK-SANITIZE-COVERAGE-0-NOT: fsanitize-coverage-type
Kostya Serebryany	578787a	2016-03-02 19:16:54 +0000	[diff] [blame]	5	// CHECK-SANITIZE-COVERAGE-0: -fsanitize=address
Alexey Samsonov	dfa908c	2015-05-07 22:34:06 +0000	[diff] [blame]	6
Kostya Serebryany	8955efc	2017-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 Potapenko	dc5b95b	2017-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 Stepanov	12817e5	2017-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
Andrey Konovalov	1ba9d9c	2018-04-13 18:05:21 +0000	[diff] [blame]	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
Kostya Serebryany	8955efc	2017-05-03 01:27:28 +0000	[diff] [blame]	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
Alexander Potapenko	d49c32c	2018-09-07 09:21:09 +0000	[diff] [blame]	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
Kostya Serebryany	8955efc	2017-05-03 01:27:28 +0000	[diff] [blame]	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
Kostya Serebryany	8e3061b	2016-02-17 23:57:17 +0000	[diff] [blame]	18	// CHECK-SANITIZE-COVERAGE-FUNC: fsanitize-coverage-type=1
Alexey Samsonov	dfa908c	2015-05-07 22:34:06 +0000	[diff] [blame]	19
Kostya Serebryany	8e3061b	2016-02-17 23:57:17 +0000	[diff] [blame]	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
Alexey Samsonov	dfa908c	2015-05-07 22:34:06 +0000	[diff] [blame]	29
Kostya Serebryany	578787a	2016-03-02 19:16:54 +0000	[diff] [blame]	30	// RUN: %clang -target x86_64-linux-gnu -fsanitize=address -fsanitize-coverage=1 %s -### 2>&1 \| FileCheck %s --check-prefix=CHECK-SANITIZE-COVERAGE-1
Kostya Serebryany	9d1ed13	2017-04-19 19:57:16 +0000	[diff] [blame]	31	// CHECK-SANITIZE-COVERAGE-1: warning: argument '-fsanitize-coverage=1' is deprecated, use '-fsanitize-coverage=trace-pc-guard' instead
Alexey Samsonov	dfa908c	2015-05-07 22:34:06 +0000	[diff] [blame]	32
Kostya Serebryany	8955efc	2017-05-03 01:27:28 +0000	[diff] [blame]	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
Alexey Samsonov	de0aff3	2015-05-21 01:07:52 +0000	[diff] [blame]	37
Kostya Serebryany	1c0e9e9	2017-04-19 21:31:11 +0000	[diff] [blame]	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
Alexey Samsonov	dfa908c	2015-05-07 22:34:06 +0000	[diff] [blame]	39	// CHECK-SANITIZE-COVERAGE-FEATURES: -fsanitize-coverage-type=3
				40	// CHECK-SANITIZE-COVERAGE-FEATURES: -fsanitize-coverage-indirect-calls
Alexey Samsonov	dfa908c	2015-05-07 22:34:06 +0000	[diff] [blame]	41	// CHECK-SANITIZE-COVERAGE-FEATURES: -fsanitize-coverage-trace-cmp
Kostya Serebryany	3b41971	2016-08-30 01:27:03 +0000	[diff] [blame]	42	// CHECK-SANITIZE-COVERAGE-FEATURES: -fsanitize-coverage-trace-div
				43	// CHECK-SANITIZE-COVERAGE-FEATURES: -fsanitize-coverage-trace-gep
Kostya Serebryany	d4590c7	2016-02-17 21:34:43 +0000	[diff] [blame]	44	// CHECK-SANITIZE-COVERAGE-FEATURES: -fsanitize-coverage-trace-pc
Alexey Samsonov	dfa908c	2015-05-07 22:34:06 +0000	[diff] [blame]	45
Kostya Serebryany	1c0e9e9	2017-04-19 21:31:11 +0000	[diff] [blame]	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
Alexey Samsonov	dfa908c	2015-05-07 22:34:06 +0000	[diff] [blame]	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
Kostya Serebryany	1a02d8b	2017-04-19 20:15:58 +0000	[diff] [blame]	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
Kostya Serebryany	1c0e9e9	2017-04-19 21:31:11 +0000	[diff] [blame]	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
Alexey Samsonov	dfa908c	2015-05-07 22:34:06 +0000	[diff] [blame]	61
Kostya Serebryany	52e8649	2016-02-18 00:49:23 +0000	[diff] [blame]	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
Kostya Serebryany	60cdd61	2016-09-14 01:39:49 +0000	[diff] [blame]	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
Matt Morehouse	5c7fc76	2017-08-18 18:43:30 +0000	[diff] [blame]	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
Alexey Samsonov	dfa908c	2015-05-07 22:34:06 +0000	[diff] [blame]	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
Kostya Serebryany	8e3061b	2016-02-17 23:57:17 +0000	[diff] [blame]	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
Alexey Samsonov	dfa908c	2015-05-07 22:34:06 +0000	[diff] [blame]	95	// CHECK-EXTEND-LEGACY: -fsanitize-coverage-type=1
				96	// CHECK-EXTEND-LEGACY: -fsanitize-coverage-trace-cmp
				97
Kostya Serebryany	50fb618	2017-05-05 23:28:18 +0000	[diff] [blame]	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
Kostya Serebryany	2c2fb88	2017-06-08 22:58:19 +0000	[diff] [blame]	102	// RUN: %clang -target x86_64-linux-gnu -fsanitize-coverage=inline-8bit-counters %s -### 2>&1 \| FileCheck %s --check-prefix=CHECK_INLINE8BIT
Kostya Serebryany	9f338dc	2017-08-08 20:20:40 +0000	[diff] [blame]	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
Kostya Serebryany	2c2fb88	2017-06-08 22:58:19 +0000	[diff] [blame]	105	// CHECK_INLINE8BIT: -fsanitize-coverage-inline-8bit-counters
				106
Kostya Serebryany	6145776	2017-07-28 00:10:10 +0000	[diff] [blame]	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
Kostya Serebryany	8955efc	2017-05-03 01:27:28 +0000	[diff] [blame]	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
Alexey Samsonov	3f3b3ab	2015-05-07 18:31:29 +0000	[diff] [blame]	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
Alexey Samsonov	3f3b3ab	2015-05-07 18:31:29 +0000	[diff] [blame]	116	// CLANG-CL-COVERAGE: -fsanitize-coverage-type=1
Kostya Serebryany	52e8649	2016-02-18 00:49:23 +0000	[diff] [blame]	117	// CLANG-CL-COVERAGE: -fsanitize=address
Petr Hosek	eb4127f	2017-07-21 01:17:49 +0000	[diff] [blame]	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