Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / clang / 3ea9e33ea25e0c2b12db56418ba3f994eb662c04 / . / test / Driver / fsanitize.c
blob: da8ace3055dcb965150d450681934b973fa2537f [file] [log] [blame]
Chad Rosier78d85b12013-01-29 23:31:22 +0000[diff] [blame]1// RUN: %clang -target x86_64-linux-gnu -fsanitize=undefined-trap -fsanitize-undefined-trap-on-error %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-UNDEFINED-TRAP
2// RUN: %clang -target x86_64-linux-gnu -fsanitize-undefined-trap-on-error -fsanitize=undefined-trap %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-UNDEFINED-TRAP
Pirama Arumuga Nainar3ea9e332015-04-08 08:57:32 -0700[diff] [blame^]3// CHECK-UNDEFINED-TRAP: "-fsanitize={{((signed-integer-overflow|integer-divide-by-zero|float-divide-by-zero|shift-base|shift-exponent|unreachable|return|vla-bound|alignment|null|object-size|float-cast-overflow|array-bounds|enum|bool|returns-nonnull-attribute|nonnull-attribute),?){17}"}}
Chad Rosier78d85b12013-01-29 23:31:22 +0000[diff] [blame]4// CHECK-UNDEFINED-TRAP: "-fsanitize-undefined-trap-on-error"
5
Richard Smithc4dabad2012-11-05 22:04:41 +0000[diff] [blame]6// RUN: %clang -target x86_64-linux-gnu -fsanitize=undefined %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-UNDEFINED
Pirama Arumuga Nainar3ea9e332015-04-08 08:57:32 -0700[diff] [blame^]7// CHECK-UNDEFINED: "-fsanitize={{((signed-integer-overflow|integer-divide-by-zero|float-divide-by-zero|function|shift-base|shift-exponent|unreachable|return|vla-bound|alignment|null|vptr|object-size|float-cast-overflow|array-bounds|enum|bool|returns-nonnull-attribute|nonnull-attribute),?){19}"}}
Richard Smithc4dabad2012-11-05 22:04:41 +0000[diff] [blame]8
Peter Collingbournec6911a22013-11-01 18:16:25 +0000[diff] [blame]9// RUN: %clang -target x86_64-apple-darwin10 -fsanitize=undefined %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-UNDEFINED-DARWIN
Pirama Arumuga Nainar3ea9e332015-04-08 08:57:32 -0700[diff] [blame^]10// CHECK-UNDEFINED-DARWIN: "-fsanitize={{((signed-integer-overflow|integer-divide-by-zero|float-divide-by-zero|shift-base|shift-exponent|unreachable|return|vla-bound|alignment|null|vptr|object-size|float-cast-overflow|array-bounds|enum|bool|returns-nonnull-attribute|nonnull-attribute),?){18}"}}
Peter Collingbournec6911a22013-11-01 18:16:25 +0000[diff] [blame]11
Will Dietzb8540362012-11-27 15:01:55 +0000[diff] [blame]12// RUN: %clang -target x86_64-linux-gnu -fsanitize=integer %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-INTEGER
Pirama Arumuga Nainar3ea9e332015-04-08 08:57:32 -0700[diff] [blame^]13// CHECK-INTEGER: "-fsanitize={{((signed-integer-overflow|unsigned-integer-overflow|integer-divide-by-zero|shift-base|shift-exponent),?){5}"}}
Will Dietzb8540362012-11-27 15:01:55 +0000[diff] [blame]14
Stephen Hines651f13c2014-04-23 16:59:28 -0700[diff] [blame]15// RUN: %clang -fsanitize=bounds -### -fsyntax-only %s 2>&1 | FileCheck %s --check-prefix=CHECK-BOUNDS
16// CHECK-BOUNDS: "-fsanitize={{((array-bounds|local-bounds),?){2}"}}
17
Stephen Hines0e2c34f2015-03-23 12:09:02 -0700[diff] [blame]18// RUN: %clang -target x86_64-linux-gnu -fsanitize=all %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-FSANITIZE-ALL
19// CHECK-FSANITIZE-ALL: error: unsupported argument 'all' to option 'fsanitize='
20
21// RUN: %clang -target x86_64-linux-gnu -fsanitize=address,undefined -fno-sanitize=all -fsanitize=thread %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-FNO-SANITIZE-ALL
22// CHECK-FNO-SANITIZE-ALL: "-fsanitize=thread"
23
Stephen Hines651f13c2014-04-23 16:59:28 -0700[diff] [blame]24// RUN: %clang -target x86_64-linux-gnu -fsanitize=thread,undefined -fno-sanitize=thread -fno-sanitize=float-cast-overflow,vptr,bool,enum %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-PARTIAL-UNDEFINED
Pirama Arumuga Nainar3ea9e332015-04-08 08:57:32 -0700[diff] [blame^]25// CHECK-PARTIAL-UNDEFINED: "-fsanitize={{((signed-integer-overflow|integer-divide-by-zero|float-divide-by-zero|function|shift-base|shift-exponent|unreachable|return|vla-bound|alignment|null|object-size|array-bounds|returns-nonnull-attribute|nonnull-attribute),?){15}"}}
26
27// RUN: %clang -target x86_64-linux-gnu -fsanitize=shift -fno-sanitize=shift-base %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-FSANITIZE-SHIFT-PARTIAL
28// CHECK-FSANITIZE-SHIFT-PARTIAL: "-fsanitize=shift-exponent"
Richard Smithc4dabad2012-11-05 22:04:41 +0000[diff] [blame]29
Chad Rosier78d85b12013-01-29 23:31:22 +0000[diff] [blame]30// RUN: %clang -target x86_64-linux-gnu -fsanitize=undefined -fsanitize-undefined-trap-on-error %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-UNDEFINED-TRAP-ON-ERROR-UNDEF
31// CHECK-UNDEFINED-TRAP-ON-ERROR-UNDEF: '-fsanitize=undefined' not allowed with '-fsanitize-undefined-trap-on-error'
32
33// RUN: %clang -target x86_64-linux-gnu -fsanitize=vptr -fsanitize-undefined-trap-on-error %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-UNDEFINED-TRAP-ON-ERROR-VPTR
34// CHECK-UNDEFINED-TRAP-ON-ERROR-VPTR: '-fsanitize=vptr' not allowed with '-fsanitize-undefined-trap-on-error'
35
Joey Gouly4247d9c2012-12-01 13:07:22 +0000[diff] [blame]36// RUN: %clang -target x86_64-linux-gnu -fsanitize=vptr -fno-rtti %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-VPTR-NO-RTTI
Richard Smith04fd3822012-11-06 01:12:02 +0000[diff] [blame]37// CHECK-VPTR-NO-RTTI: '-fsanitize=vptr' not allowed with '-fno-rtti'
Richard Smithc4dabad2012-11-05 22:04:41 +0000[diff] [blame]38
Stephen Hines0e2c34f2015-03-23 12:09:02 -0700[diff] [blame]39// RUN: %clang -target x86_64-linux-gnu -fsanitize=undefined -fno-rtti %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-UNDEFINED-NO-RTTI
40// CHECK-UNDEFINED-NO-RTTI-NOT: vptr
41
Joey Gouly4247d9c2012-12-01 13:07:22 +0000[diff] [blame]42// RUN: %clang -target x86_64-linux-gnu -fsanitize=address,thread -fno-rtti %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-SANA-SANT
Richard Smithc4dabad2012-11-05 22:04:41 +0000[diff] [blame]43// CHECK-SANA-SANT: '-fsanitize=address' not allowed with '-fsanitize=thread'
44
Evgeniy Stepanov34ef11b2012-12-24 08:42:34 +0000[diff] [blame]45// RUN: %clang -target x86_64-linux-gnu -fsanitize=address,memory -pie -fno-rtti %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-SANA-SANM
Evgeniy Stepanov99469f72012-12-05 13:37:12 +0000[diff] [blame]46// CHECK-SANA-SANM: '-fsanitize=address' not allowed with '-fsanitize=memory'
47
Evgeniy Stepanov34ef11b2012-12-24 08:42:34 +0000[diff] [blame]48// RUN: %clang -target x86_64-linux-gnu -fsanitize=thread,memory -pie -fno-rtti %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-SANT-SANM
Evgeniy Stepanov99469f72012-12-05 13:37:12 +0000[diff] [blame]49// CHECK-SANT-SANM: '-fsanitize=thread' not allowed with '-fsanitize=memory'
50
Evgeniy Stepanov34ef11b2012-12-24 08:42:34 +0000[diff] [blame]51// RUN: %clang -target x86_64-linux-gnu -fsanitize=memory,thread -pie -fno-rtti %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-SANM-SANT
Evgeniy Stepanov99469f72012-12-05 13:37:12 +0000[diff] [blame]52// CHECK-SANM-SANT: '-fsanitize=thread' not allowed with '-fsanitize=memory'
53
Sergey Matveev050309f2013-05-27 11:17:01 +0000[diff] [blame]54// RUN: %clang -target x86_64-linux-gnu -fsanitize=leak,thread -pie -fno-rtti %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-SANL-SANT
55// CHECK-SANL-SANT: '-fsanitize=leak' not allowed with '-fsanitize=thread'
56
57// RUN: %clang -target x86_64-linux-gnu -fsanitize=leak,memory -pie -fno-rtti %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-SANL-SANM
58// CHECK-SANL-SANM: '-fsanitize=leak' not allowed with '-fsanitize=memory'
59
Pirama Arumuga Nainar3ea9e332015-04-08 08:57:32 -0700[diff] [blame^]60// RUN: %clang -target x86_64-linux-gnu -fsanitize=signed-integer-overflow,memory -pie -fno-rtti %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-MSAN-UBSAN
61// CHECK-MSAN-UBSAN: '-fsanitize=signed-integer-overflow' not allowed with '-fsanitize=memory'
62
Evgeniy Stepanov34ef11b2012-12-24 08:42:34 +0000[diff] [blame]63// RUN: %clang -target x86_64-linux-gnu -fsanitize-memory-track-origins -pie %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-ONLY-TRACK-ORIGINS
64// CHECK-ONLY-TRACK-ORIGINS: warning: argument unused during compilation: '-fsanitize-memory-track-origins'
65
Alexey Samsonova40548c2013-01-16 11:34:36 +0000[diff] [blame]66// RUN: %clang -target x86_64-linux-gnu -fsanitize=address %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-NO-EXTRA-TRACK-ORIGINS
67// CHECK-NO-EXTRA-TRACK-ORIGINS-NOT: "-fsanitize-memory-track-origins"
68
Joey Gouly4247d9c2012-12-01 13:07:22 +0000[diff] [blame]69// RUN: %clang -target x86_64-linux-gnu -fsanitize=address -fsanitize=alignment -fsanitize=vptr -fno-sanitize=vptr %s -### 2>&1
Richard Smith05650372012-12-01 01:02:45 +0000[diff] [blame]70// OK
Alexey Samsonov3325b162012-11-28 17:34:24 +0000[diff] [blame]71
Evgeniy Stepanov34ef11b2012-12-24 08:42:34 +0000[diff] [blame]72// RUN: %clang -target x86_64-linux-gnu -fsanitize=memory -pie %s -### 2>&1
73// OK
74
Stephen Hines0e2c34f2015-03-23 12:09:02 -0700[diff] [blame]75// RUN: %clang -target x86_64-linux-gnu -fsanitize=memory -fsanitize-memory-track-origins -pie %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-TRACK-ORIGINS-2
Stephen Hines651f13c2014-04-23 16:59:28 -0700[diff] [blame]76// RUN: %clang -target x86_64-linux-gnu -fsanitize=memory -fsanitize-memory-track-origins=1 -pie %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-TRACK-ORIGINS-1
Stephen Hines0e2c34f2015-03-23 12:09:02 -0700[diff] [blame]77// RUN: %clang -target x86_64-linux-gnu -fsanitize=memory -fsanitize-memory-track-origins=1 -fsanitize-memory-track-origins -pie %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-TRACK-ORIGINS-2
78// RUN: %clang -target x86_64-linux-gnu -fsanitize=memory -fsanitize-memory-track-origins=2 -fsanitize-memory-track-origins -pie %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-TRACK-ORIGINS-2
79// RUN: %clang -target x86_64-linux-gnu -fsanitize=memory -fno-sanitize-memory-track-origins -fsanitize-memory-track-origins -pie %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-TRACK-ORIGINS-2
80// RUN: %clang -target x86_64-linux-gnu -fsanitize=memory -fsanitize-memory-track-origins=0 -fsanitize-memory-track-origins=1 -pie %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-TRACK-ORIGINS-1
81// RUN: %clang -target x86_64-linux-gnu -fsanitize=memory -fsanitize-memory-track-origins=0 -fsanitize-memory-track-origins -pie %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-TRACK-ORIGINS-2
Stephen Hines651f13c2014-04-23 16:59:28 -0700[diff] [blame]82
83// CHECK-TRACK-ORIGINS-1: -fsanitize-memory-track-origins=1
84
85// RUN: %clang -target x86_64-linux-gnu -fsanitize=memory -fno-sanitize-memory-track-origins -pie %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-NO-TRACK-ORIGINS
86// RUN: %clang -target x86_64-linux-gnu -fsanitize=memory -fsanitize-memory-track-origins=0 -pie %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-NO-TRACK-ORIGINS
87// RUN: %clang -target x86_64-linux-gnu -fsanitize=memory -fsanitize-memory-track-origins -fno-sanitize-memory-track-origins -pie %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-NO-TRACK-ORIGINS
88// RUN: %clang -target x86_64-linux-gnu -fsanitize=memory -fsanitize-memory-track-origins -fsanitize-memory-track-origins=0 -pie %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-NO-TRACK-ORIGINS
89// RUN: %clang -target x86_64-linux-gnu -fsanitize=memory -fsanitize-memory-track-origins=2 -fno-sanitize-memory-track-origins -pie %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-NO-TRACK-ORIGINS
90// RUN: %clang -target x86_64-linux-gnu -fsanitize=memory -fsanitize-memory-track-origins=2 -fsanitize-memory-track-origins=0 -pie %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-NO-TRACK-ORIGINS
91// CHECK-NO-TRACK-ORIGINS-NOT: sanitize-memory-track-origins
92
93// RUN: %clang -target x86_64-linux-gnu -fsanitize=memory -fsanitize-memory-track-origins=2 -pie %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-TRACK-ORIGINS-2
94// CHECK-TRACK-ORIGINS-2: -fsanitize-memory-track-origins=2
95
96// RUN: %clang -target x86_64-linux-gnu -fsanitize=memory -fsanitize-memory-track-origins=3 -pie %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-TRACK-ORIGINS-3
97// CHECK-TRACK-ORIGINS-3: error: invalid value '3' in '-fsanitize-memory-track-origins=3'
Evgeniy Stepanov34ef11b2012-12-24 08:42:34 +0000[diff] [blame]98
Stephen Hines176edba2014-12-01 14:53:08 -0800[diff] [blame]99// RUN: %clang -target x86_64-linux-gnu -fsanitize=address -fsanitize-coverage=0 %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-SANITIZE-COVERAGE-0
100// RUN: %clang -target x86_64-linux-gnu -fsanitize=address %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-SANITIZE-COVERAGE-0
101// CHECK-SANITIZE-COVERAGE-0-NOT: fsanitize-coverage
102// RUN: %clang -target x86_64-linux-gnu -fsanitize=address -fsanitize-coverage=1 %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-SANITIZE-COVERAGE-1
Stephen Hines0e2c34f2015-03-23 12:09:02 -0700[diff] [blame]103// RUN: %clang -target x86_64-linux-gnu -fsanitize=memory -fsanitize-coverage=1 %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-SANITIZE-COVERAGE-1
104// RUN: %clang -target x86_64-linux-gnu -fsanitize=leak -fsanitize-coverage=1 %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-SANITIZE-COVERAGE-1
105// RUN: %clang -target x86_64-linux-gnu -fsanitize=undefined -fsanitize-coverage=1 %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-SANITIZE-COVERAGE-1
106// RUN: %clang -target x86_64-linux-gnu -fsanitize=bool -fsanitize-coverage=1 %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-SANITIZE-COVERAGE-1
Pirama Arumuga Nainar3ea9e332015-04-08 08:57:32 -0700[diff] [blame^]107// RUN: %clang -target x86_64-linux-gnu -fsanitize=dataflow -fsanitize-coverage=1 %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-SANITIZE-COVERAGE-1
Stephen Hines176edba2014-12-01 14:53:08 -0800[diff] [blame]108// CHECK-SANITIZE-COVERAGE-1: fsanitize-coverage=1
109// RUN: %clang -target x86_64-linux-gnu -fsanitize=address -fsanitize-coverage=4 %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-SANITIZE-COVERAGE-4
110// CHECK-SANITIZE-COVERAGE-4: fsanitize-coverage=4
111// RUN: %clang -target x86_64-linux-gnu -fsanitize=address -fsanitize-coverage=5 %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-SANITIZE-COVERAGE-5
112// CHECK-SANITIZE-COVERAGE-5: error: invalid value '5' in '-fsanitize-coverage=5'
Stephen Hines0e2c34f2015-03-23 12:09:02 -0700[diff] [blame]113// RUN: %clang -target x86_64-linux-gnu -fsanitize=thread -fsanitize-coverage=1 %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-SANITIZE-COVERAGE-UNUSED
Stephen Hines0e2c34f2015-03-23 12:09:02 -0700[diff] [blame]114// RUN: %clang -target x86_64-linux-gnu -fsanitize-coverage=1 %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-SANITIZE-COVERAGE-UNUSED
115// CHECK-SANITIZE-COVERAGE-UNUSED: argument unused during compilation: '-fsanitize-coverage=1'
Stephen Hines176edba2014-12-01 14:53:08 -0800[diff] [blame]116
117// RUN: %clang -target x86_64-linux-gnu -fsanitize=address -fsanitize-address-field-padding=0 %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-ASAN-FIELD-PADDING-0
118// CHECK-ASAN-FIELD-PADDING-0-NOT: -fsanitize-address-field-padding
119// RUN: %clang -target x86_64-linux-gnu -fsanitize=address -fsanitize-address-field-padding=1 %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-ASAN-FIELD-PADDING-1
120// CHECK-ASAN-FIELD-PADDING-1: -fsanitize-address-field-padding=1
121// RUN: %clang -target x86_64-linux-gnu -fsanitize=address -fsanitize-address-field-padding=2 %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-ASAN-FIELD-PADDING-2
122// CHECK-ASAN-FIELD-PADDING-2: -fsanitize-address-field-padding=2
123// RUN: %clang -target x86_64-linux-gnu -fsanitize=address -fsanitize-address-field-padding=3 %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-ASAN-FIELD-PADDING-3
124// CHECK-ASAN-FIELD-PADDING-3: error: invalid value '3' in '-fsanitize-address-field-padding=3'
125// RUN: %clang -target x86_64-linux-gnu -fsanitize-address-field-padding=2 %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-ASAN-FIELD-PADDING-NO-ASAN
126// CHECK-ASAN-FIELD-PADDING-NO-ASAN: warning: argument unused during compilation: '-fsanitize-address-field-padding=2'
127
Joey Gouly4247d9c2012-12-01 13:07:22 +0000[diff] [blame]128// RUN: %clang -target x86_64-linux-gnu -fsanitize=vptr -fno-sanitize=vptr -fsanitize=undefined,address %s -### 2>&1
Richard Smith05650372012-12-01 01:02:45 +0000[diff] [blame]129// OK
Alexey Samsonov3325b162012-11-28 17:34:24 +0000[diff] [blame]130
Evgeniy Stepanov99469f72012-12-05 13:37:12 +0000[diff] [blame]131// RUN: %clang -target x86_64-linux-gnu -fsanitize=thread %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-TSAN-NO-PIE
Stephen Hines0e2c34f2015-03-23 12:09:02 -0700[diff] [blame]132// CHECK-TSAN-NO-PIE: "-mrelocation-model" "static"
Evgeniy Stepanov99469f72012-12-05 13:37:12 +0000[diff] [blame]133
134// RUN: %clang -target x86_64-linux-gnu -fsanitize=memory %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-MSAN-NO-PIE
Peter Collingbourne52ca70d2013-04-09 04:35:11 +0000[diff] [blame]135// CHECK-MSAN-NO-PIE: "-mrelocation-model" "pic" "-pic-level" "2" "-pie-level" "2"
136// CHECK-MSAN-NO-PIE: "-pie"
Evgeniy Stepanov99469f72012-12-05 13:37:12 +0000[diff] [blame]137
138// RUN: %clang -target arm-linux-androideabi -fsanitize=address %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-ANDROID-ASAN-NO-PIE
Peter Collingbourne52ca70d2013-04-09 04:35:11 +0000[diff] [blame]139// CHECK-ANDROID-ASAN-NO-PIE: "-mrelocation-model" "pic" "-pic-level" "2" "-pie-level" "2"
140// CHECK-ANDROID-ASAN-NO-PIE: "-pie"
Will Dietz2d382d12012-12-30 20:53:28 +0000[diff] [blame]141
Alexey Samsonov48d0f072013-08-09 10:56:42 +0000[diff] [blame]142// RUN: %clang -target arm-linux-androideabi %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-ANDROID-NO-ASAN
Stephen Hines651f13c2014-04-23 16:59:28 -0700[diff] [blame]143// CHECK-ANDROID-NO-ASAN: "-mrelocation-model" "pic"
Alexey Samsonov4a1ea522013-04-09 07:27:44 +0000[diff] [blame]144
Stephen Hines176edba2014-12-01 14:53:08 -0800[diff] [blame]145// RUN: %clang -target x86_64-linux-gnu %s -fsanitize=undefined -### 2>&1 | FileCheck %s --check-prefix=CHECK-RECOVER
146// RUN: %clang -target x86_64-linux-gnu %s -fsanitize=undefined -fsanitize-recover -### 2>&1 | FileCheck %s --check-prefix=CHECK-RECOVER
Stephen Hines0e2c34f2015-03-23 12:09:02 -0700[diff] [blame]147// RUN: %clang -target x86_64-linux-gnu %s -fsanitize=undefined -fsanitize-recover=all -### 2>&1 | FileCheck %s --check-prefix=CHECK-RECOVER
Pirama Arumuga Nainar3ea9e332015-04-08 08:57:32 -0700[diff] [blame^]148// RUN: %clang -target x86_64-linux-gnu %s -fsanitize=undefined -fno-sanitize-recover=undefined -### 2>&1 | FileCheck %s --check-prefix=CHECK-NO-RECOVER
Stephen Hines0e2c34f2015-03-23 12:09:02 -0700[diff] [blame]149// RUN: %clang -target x86_64-linux-gnu %s -fsanitize=undefined -fno-sanitize-recover=all -fsanitize-recover=thread -### 2>&1 | FileCheck %s --check-prefix=CHECK-NO-RECOVER
150// RUN: %clang -target x86_64-linux-gnu %s -fsanitize=undefined -fno-sanitize-recover -fsanitize-recover=undefined -### 2>&1 | FileCheck %s --check-prefix=CHECK-RECOVER
Pirama Arumuga Nainar3ea9e332015-04-08 08:57:32 -0700[diff] [blame^]151// RUN: %clang -target x86_64-linux-gnu %s -fsanitize=undefined -fsanitize-recover=all -fno-sanitize-recover=undefined -### 2>&1 | FileCheck %s --check-prefix=CHECK-NO-RECOVER
152// RUN: %clang -target x86_64-linux-gnu %s -fsanitize=undefined -fno-sanitize-recover=all -fsanitize-recover=object-size,shift-base -### 2>&1 | FileCheck %s --check-prefix=CHECK-PARTIAL-RECOVER
Stephen Hines0e2c34f2015-03-23 12:09:02 -0700[diff] [blame]153
Pirama Arumuga Nainar3ea9e332015-04-08 08:57:32 -0700[diff] [blame^]154// CHECK-RECOVER: "-fsanitize-recover={{((signed-integer-overflow|integer-divide-by-zero|float-divide-by-zero|function|shift-base|shift-exponent|vla-bound|alignment|null|vptr|object-size|float-cast-overflow|array-bounds|enum|bool|returns-nonnull-attribute|nonnull-attribute),?){17}"}}
Stephen Hines0e2c34f2015-03-23 12:09:02 -0700[diff] [blame]155// CHECK-NO-RECOVER-NOT: sanitize-recover
Pirama Arumuga Nainar3ea9e332015-04-08 08:57:32 -0700[diff] [blame^]156// CHECK-PARTIAL-RECOVER: "-fsanitize-recover={{((object-size|shift-base),?){2}"}}
Stephen Hines0e2c34f2015-03-23 12:09:02 -0700[diff] [blame]157
158// RUN: %clang -target x86_64-linux-gnu %s -fsanitize=undefined -fsanitize-recover=address,foobar,object-size,unreachable -### 2>&1 | FileCheck %s --check-prefix=CHECK-DIAG-RECOVER
159// CHECK-DIAG-RECOVER: unsupported argument 'foobar' to option 'fsanitize-recover='
160// CHECK-DIAG-RECOVER: unsupported argument 'address,unreachable' to option 'fsanitize-recover='
Sergey Matveev050309f2013-05-27 11:17:01 +0000[diff] [blame]161
Pirama Arumuga Nainar3ea9e332015-04-08 08:57:32 -0700[diff] [blame^]162// RUN: %clang -target x86_64-linux-gnu %s -fsanitize=undefined -fsanitize-recover -fno-sanitize-recover -### 2>&1 | FileCheck %s --check-prefix=CHECK-DEPRECATED-RECOVER
163// CHECK-DEPRECATED-RECOVER: argument '-fsanitize-recover' is deprecated, use '-fsanitize-recover=undefined,integer' instead
164// CHECK-DEPRECATED-RECOVER: argument '-fno-sanitize-recover' is deprecated, use '-fno-sanitize-recover=undefined,integer' instead
165// CHECK-DEPRECATED-RECOVER-NOT: is deprecated
166
Sergey Matveev050309f2013-05-27 11:17:01 +0000[diff] [blame]167// RUN: %clang -target x86_64-linux-gnu -fsanitize=leak %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-SANL
168// CHECK-SANL: "-fsanitize=leak"
169
170// RUN: %clang -target x86_64-linux-gnu -fsanitize=address,leak -fno-sanitize=address %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-SANA-SANL-NO-SANA
171// CHECK-SANA-SANL-NO-SANA: "-fsanitize=leak"
Evgeniy Stepanov3a166e22013-06-20 10:49:46 +0000[diff] [blame]172
173// RUN: %clang -target x86_64-linux-gnu -fsanitize=memory %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-MSAN
174// CHECK-MSAN: "-fno-assume-sane-operator-new"
Stephen Hines0e2c34f2015-03-23 12:09:02 -0700[diff] [blame]175// RUN: %clang -target x86_64-linux-gnu -fsanitize=address %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-ASAN
176// CHECK-ASAN: "-fno-assume-sane-operator-new"
Alexey Samsonov1b8f12d2013-08-19 09:14:21 +0000[diff] [blame]177
178// RUN: %clang -target x86_64-linux-gnu -fsanitize=zzz %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-DIAG1
179// CHECK-DIAG1: unsupported argument 'zzz' to option 'fsanitize='
180// CHECK-DIAG1-NOT: unsupported argument 'zzz' to option 'fsanitize='
Peter Collingbournec6911a22013-11-01 18:16:25 +0000[diff] [blame]181
182// RUN: %clang -target i686-linux-gnu -fsanitize=memory %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-MSAN-X86
183// CHECK-MSAN-X86: error: unsupported option '-fsanitize=memory' for target 'i686--linux-gnu'
184
185// RUN: %clang -target x86_64-apple-darwin10 -fsanitize=memory %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-MSAN-DARWIN
186// CHECK-MSAN-DARWIN: unsupported option '-fsanitize=memory' for target 'x86_64-apple-darwin10'
187
188// RUN: %clang -target x86_64-apple-darwin10 -fsanitize=memory -fno-sanitize=memory %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-MSAN-NOMSAN-DARWIN
189// CHECK-MSAN-NOMSAN-DARWIN-NOT: unsupported option
190
191// RUN: %clang -target x86_64-apple-darwin10 -fsanitize=memory -fsanitize=thread,memory %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-MSAN-TSAN-MSAN-DARWIN
192// CHECK-MSAN-TSAN-MSAN-DARWIN: unsupported option '-fsanitize=thread,memory' for target 'x86_64-apple-darwin10'
193// CHECK-MSAN-TSAN-MSAN-DARWIN-NOT: unsupported option
194
195// RUN: %clang -target x86_64-apple-darwin10 -fsanitize=thread,memory -fsanitize=memory %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-TSAN-MSAN-MSAN-DARWIN
196// CHECK-TSAN-MSAN-MSAN-DARWIN: unsupported option '-fsanitize=memory' for target 'x86_64-apple-darwin10'
197// CHECK-TSAN-MSAN-MSAN-DARWIN: unsupported option '-fsanitize=thread' for target 'x86_64-apple-darwin10'
198// CHECK-TSAN-MSAN-MSAN-DARWIN-NOT: unsupported option
199
200// RUN: %clang -target x86_64-apple-darwin10 -fsanitize=function %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-FSAN-DARWIN
201// CHECK-FSAN-DARWIN: unsupported option '-fsanitize=function' for target 'x86_64-apple-darwin10'
202
203// RUN: %clang -target x86_64-apple-darwin10 -fsanitize=function -fsanitize=undefined %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-FSAN-UBSAN-DARWIN
204// CHECK-FSAN-UBSAN-DARWIN: unsupported option '-fsanitize=function' for target 'x86_64-apple-darwin10'
Stephen Hines176edba2014-12-01 14:53:08 -0800[diff] [blame]205
Stephen Hines0e2c34f2015-03-23 12:09:02 -0700[diff] [blame]206// RUN: %clang -target x86_64-linux-gnu -fsanitize=cfi -c %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-CFI
Pirama Arumuga Nainar3ea9e332015-04-08 08:57:32 -0700[diff] [blame^]207// RUN: %clang -target x86_64-linux-gnu -fsanitize=cfi-derived-cast -c %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-CFI-DCAST
208// RUN: %clang -target x86_64-linux-gnu -fsanitize=cfi-unrelated-cast -c %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-CFI-UCAST
209// RUN: %clang -target x86_64-linux-gnu -fsanitize=cfi-vptr -c %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-CFI-VPTR
210// CHECK-CFI: -emit-llvm-bc{{.*}}-fsanitize=cfi-derived-cast,cfi-unrelated-cast,cfi-vptr
211// CHECK-CFI-DCAST: -emit-llvm-bc{{.*}}-fsanitize=cfi-derived-cast
212// CHECK-CFI-UCAST: -emit-llvm-bc{{.*}}-fsanitize=cfi-unrelated-cast
213// CHECK-CFI-VPTR: -emit-llvm-bc{{.*}}-fsanitize=cfi-vptr
Stephen Hines0e2c34f2015-03-23 12:09:02 -0700[diff] [blame]214
Stephen Hines176edba2014-12-01 14:53:08 -0800[diff] [blame]215// RUN: %clang_cl -fsanitize=address -c -MDd -### -- %s 2>&1 | FileCheck %s -check-prefix=CHECK-ASAN-DEBUGRTL
216// RUN: %clang_cl -fsanitize=address -c -MTd -### -- %s 2>&1 | FileCheck %s -check-prefix=CHECK-ASAN-DEBUGRTL
217// RUN: %clang_cl -fsanitize=address -c -LDd -### -- %s 2>&1 | FileCheck %s -check-prefix=CHECK-ASAN-DEBUGRTL
218// RUN: %clang_cl -fsanitize=address -c -MD -MDd -### -- %s 2>&1 | FileCheck %s -check-prefix=CHECK-ASAN-DEBUGRTL
219// RUN: %clang_cl -fsanitize=address -c -MT -MTd -### -- %s 2>&1 | FileCheck %s -check-prefix=CHECK-ASAN-DEBUGRTL
220// RUN: %clang_cl -fsanitize=address -c -LD -LDd -### -- %s 2>&1 | FileCheck %s -check-prefix=CHECK-ASAN-DEBUGRTL
221// CHECK-ASAN-DEBUGRTL: error: invalid argument
222// CHECK-ASAN-DEBUGRTL: not allowed with '-fsanitize=address'
223// CHECK-ASAN-DEBUGRTL: note: AddressSanitizer doesn't support linking with debug runtime libraries yet
224
225// RUN: %clang_cl -fsanitize=address -c -MT -### -- %s 2>&1 | FileCheck %s -check-prefix=CHECK-ASAN-RELEASERTL
226// RUN: %clang_cl -fsanitize=address -c -MD -### -- %s 2>&1 | FileCheck %s -check-prefix=CHECK-ASAN-RELEASERTL
227// RUN: %clang_cl -fsanitize=address -c -LD -### -- %s 2>&1 | FileCheck %s -check-prefix=CHECK-ASAN-RELEASERTL
228// RUN: %clang_cl -fsanitize=address -c -MTd -MT -### -- %s 2>&1 | FileCheck %s -check-prefix=CHECK-ASAN-RELEASERTL
229// RUN: %clang_cl -fsanitize=address -c -MDd -MD -### -- %s 2>&1 | FileCheck %s -check-prefix=CHECK-ASAN-RELEASERTL
230// RUN: %clang_cl -fsanitize=address -c -LDd -LD -### -- %s 2>&1 | FileCheck %s -check-prefix=CHECK-ASAN-RELEASERTL
231// CHECK-ASAN-RELEASERTL-NOT: error: invalid argument