Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / clang / 69170e6e41e72c84fe5303540c1aa7ca9944ff18 / . / test / Driver / fsanitize.c
blob: 6dbde978ac1b7cc4ad30b816aecaae0b37771782 [file] [log] [blame]
Chad Rosier78d85b12013-01-29 23:31:22 +0000[diff] [blame]1// RUN: %clang -target x86_64-linux-gnu -fcatch-undefined-behavior %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-UNDEFINED-TRAP
2// 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
3// 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
Richard Smith69170e62013-10-22 22:51:04 +0000[diff] [blame^]4// CHECK-UNDEFINED-TRAP: "-fsanitize={{((signed-integer-overflow|integer-divide-by-zero|float-divide-by-zero|shift|unreachable|return|vla-bound|alignment|null|object-size|float-cast-overflow|array-bounds|enum|bool),?){14}"}}
Chad Rosier78d85b12013-01-29 23:31:22 +0000[diff] [blame]5// CHECK-UNDEFINED-TRAP: "-fsanitize-undefined-trap-on-error"
6
Richard Smithc4dabad2012-11-05 22:04:41 +0000[diff] [blame]7// RUN: %clang -target x86_64-linux-gnu -fsanitize=undefined %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-UNDEFINED
Richard Smith69170e62013-10-22 22:51:04 +0000[diff] [blame^]8// CHECK-UNDEFINED: "-fsanitize={{((signed-integer-overflow|integer-divide-by-zero|float-divide-by-zero|function|shift|unreachable|return|vla-bound|alignment|null|vptr|object-size|float-cast-overflow|array-bounds|enum|bool),?){16}"}}
Richard Smithc4dabad2012-11-05 22:04:41 +0000[diff] [blame]9
Will Dietzb8540362012-11-27 15:01:55 +0000[diff] [blame]10// RUN: %clang -target x86_64-linux-gnu -fsanitize=integer %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-INTEGER
11// CHECK-INTEGER: "-fsanitize={{((signed-integer-overflow|unsigned-integer-overflow|integer-divide-by-zero|shift),?){4}"}}
12
Richard Smith463b48b2012-12-13 07:11:50 +0000[diff] [blame]13// RUN: %clang -target x86_64-linux-gnu -fsanitize=thread,undefined -fno-thread-sanitizer -fno-sanitize=float-cast-overflow,vptr,bool,enum %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-PARTIAL-UNDEFINED
Richard Smith69170e62013-10-22 22:51:04 +0000[diff] [blame^]14// CHECK-PARTIAL-UNDEFINED: "-fsanitize={{((signed-integer-overflow|integer-divide-by-zero|float-divide-by-zero|function|shift|unreachable|return|vla-bound|alignment|null|object-size|array-bounds),?){12}"}}
Richard Smithc4dabad2012-11-05 22:04:41 +0000[diff] [blame]15
Alexey Samsonov4d1a6e42012-11-29 22:36:21 +0000[diff] [blame]16// RUN: %clang -target x86_64-linux-gnu -fsanitize=address-full %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-ASAN-FULL
17// CHECK-ASAN-FULL: "-fsanitize={{((address|init-order|use-after-return|use-after-scope),?){4}"}}
18
Kostya Serebryanyd85ec0e2013-09-23 09:52:37 +0000[diff] [blame]19// RUN: %clang -target x86_64-linux-gnu -fno-sanitize=init-order,use-after-return -fsanitize=address %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-ASAN-IMPLIED-INIT-ORDER-UAR
20// CHECK-ASAN-IMPLIED-INIT-ORDER-UAR: "-fsanitize={{((address|init-order|use-after-return),?){3}"}}
Alexey Samsonov7ac415b2013-03-14 12:13:27 +0000[diff] [blame]21
22// RUN: %clang -target x86_64-linux-gnu -fsanitize=address -fno-sanitize=init-order %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-ASAN-NO-IMPLIED-INIT-ORDER
23// CHECK-ASAN-NO-IMPLIED-INIT-ORDER-NOT: init-order
24
Kostya Serebryanyd85ec0e2013-09-23 09:52:37 +0000[diff] [blame]25// RUN: %clang -target x86_64-linux-gnu -fsanitize=address -fno-sanitize=use-after-return %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-ASAN-NO-IMPLIED-UAR
26// CHECK-ASAN-NO-IMPLIED-UAR-NOT: use-after-return
27
Chad Rosier78d85b12013-01-29 23:31:22 +0000[diff] [blame]28// RUN: %clang -target x86_64-linux-gnu -fcatch-undefined-behavior -fno-sanitize-undefined-trap-on-error %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-UNDEFINED-NO-TRAP-ERROR
29// CHECK-UNDEFINED-NO-TRAP-ERROR: '-fcatch-undefined-behavior' not allowed with '-fno-sanitize-undefined-trap-on-error'
30
31// RUN: %clang -target x86_64-linux-gnu -fsanitize=vptr -fcatch-undefined-behavior %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-VPTR-UNDEF-ERROR
32// CHECK-VPTR-UNDEF-ERROR: '-fsanitize=vptr' not allowed with '-fcatch-undefined-behavior'
33
34// 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
35// CHECK-UNDEFINED-TRAP-ON-ERROR-UNDEF: '-fsanitize=undefined' not allowed with '-fsanitize-undefined-trap-on-error'
36
37// 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
38// CHECK-UNDEFINED-TRAP-ON-ERROR-VPTR: '-fsanitize=vptr' not allowed with '-fsanitize-undefined-trap-on-error'
39
Joey Gouly4247d9c2012-12-01 13:07:22 +0000[diff] [blame]40// RUN: %clang -target x86_64-linux-gnu -fsanitize=vptr -fno-rtti %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-VPTR-NO-RTTI
41// RUN: %clang -target x86_64-linux-gnu -fsanitize=undefined -fno-rtti %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-VPTR-NO-RTTI
Richard Smith04fd3822012-11-06 01:12:02 +0000[diff] [blame]42// CHECK-VPTR-NO-RTTI: '-fsanitize=vptr' not allowed with '-fno-rtti'
Richard Smithc4dabad2012-11-05 22:04:41 +0000[diff] [blame]43
Joey Gouly4247d9c2012-12-01 13:07:22 +0000[diff] [blame]44// 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]45// CHECK-SANA-SANT: '-fsanitize=address' not allowed with '-fsanitize=thread'
46
Evgeniy Stepanov34ef11b2012-12-24 08:42:34 +0000[diff] [blame]47// 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]48// CHECK-SANA-SANM: '-fsanitize=address' not allowed with '-fsanitize=memory'
49
Evgeniy Stepanov34ef11b2012-12-24 08:42:34 +0000[diff] [blame]50// 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]51// CHECK-SANT-SANM: '-fsanitize=thread' not allowed with '-fsanitize=memory'
52
Evgeniy Stepanov34ef11b2012-12-24 08:42:34 +0000[diff] [blame]53// 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]54// CHECK-SANM-SANT: '-fsanitize=thread' not allowed with '-fsanitize=memory'
55
Sergey Matveev050309f2013-05-27 11:17:01 +0000[diff] [blame]56// RUN: %clang -target x86_64-linux-gnu -fsanitize=leak,thread -pie -fno-rtti %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-SANL-SANT
57// CHECK-SANL-SANT: '-fsanitize=leak' not allowed with '-fsanitize=thread'
58
59// RUN: %clang -target x86_64-linux-gnu -fsanitize=leak,memory -pie -fno-rtti %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-SANL-SANM
60// CHECK-SANL-SANM: '-fsanitize=leak' not allowed with '-fsanitize=memory'
61
Joey Gouly4247d9c2012-12-01 13:07:22 +0000[diff] [blame]62// RUN: %clang -target x86_64-linux-gnu -faddress-sanitizer -fthread-sanitizer -fno-rtti %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-ASAN-TSAN
Richard Smith04fd3822012-11-06 01:12:02 +0000[diff] [blame]63// CHECK-ASAN-TSAN: '-faddress-sanitizer' not allowed with '-fthread-sanitizer'
64
Joey Gouly4247d9c2012-12-01 13:07:22 +0000[diff] [blame]65// RUN: %clang -target x86_64-linux-gnu -fsanitize=init-order %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-ONLY-EXTRA-ASAN
Alexey Samsonov3e335c12013-01-28 07:20:44 +0000[diff] [blame]66// CHECK-ONLY-EXTRA-ASAN: '-fsanitize=init-order' is ignored in absence of '-fsanitize=address'
67
68// RUN: %clang -target x86_64-linux-gnu -Wno-unused-sanitize-argument -fsanitize=init-order %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-WNO-UNUSED-SANITIZE-ARGUMENT
69// CHECK-WNO-UNUSED-SANITIZE-ARGUMENT-NOT: '-fsanitize=init-order' is ignored in absence of '-fsanitize=address'
70
71// RUN: %clang -target x86_64-linux-gnu -fsanitize=address,init-order -fno-sanitize=address %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-NOWARN-ONLY-EXTRA-ASAN
72// CHECK-NOWARN-ONLY-EXTRA-ASAN-NOT: is ignored in absence of '-fsanitize=address'
Alexey Samsonov4d1a6e42012-11-29 22:36:21 +0000[diff] [blame]73
Evgeniy Stepanov34ef11b2012-12-24 08:42:34 +0000[diff] [blame]74// RUN: %clang -target x86_64-linux-gnu -fsanitize-memory-track-origins -pie %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-ONLY-TRACK-ORIGINS
75// CHECK-ONLY-TRACK-ORIGINS: warning: argument unused during compilation: '-fsanitize-memory-track-origins'
76
Alexey Samsonova40548c2013-01-16 11:34:36 +0000[diff] [blame]77// RUN: %clang -target x86_64-linux-gnu -fsanitize=address %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-NO-EXTRA-TRACK-ORIGINS
78// CHECK-NO-EXTRA-TRACK-ORIGINS-NOT: "-fsanitize-memory-track-origins"
79
Alexey Samsonov4bdc6042013-01-20 13:12:12 +0000[diff] [blame]80// RUN: %clang -target x86_64-linux-gnu -fsanitize-address-zero-base-shadow -pie %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-ONLY-ASAN-ZERO-BASE-SHADOW
81// CHECK-ONLY-ASAN-ZERO-BASE-SHADOW: warning: argument unused during compilation: '-fsanitize-address-zero-base-shadow'
82
Joey Gouly4247d9c2012-12-01 13:07:22 +0000[diff] [blame]83// 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]84// OK
Alexey Samsonov3325b162012-11-28 17:34:24 +0000[diff] [blame]85
Evgeniy Stepanov34ef11b2012-12-24 08:42:34 +0000[diff] [blame]86// RUN: %clang -target x86_64-linux-gnu -fsanitize=memory -pie %s -### 2>&1
87// OK
88
89// RUN: %clang -target x86_64-linux-gnu -fsanitize=memory -fsanitize-memory-track-origins -pie %s -### 2>&1
90// OK
91
Joey Gouly4247d9c2012-12-01 13:07:22 +0000[diff] [blame]92// 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]93// OK
Alexey Samsonov3325b162012-11-28 17:34:24 +0000[diff] [blame]94
Alexey Samsonov4bdc6042013-01-20 13:12:12 +0000[diff] [blame]95// RUN: %clang -target x86_64-linux-gnu -fsanitize=address -fsanitize-address-zero-base-shadow -pie %s -### 2>&1
96// OK
97
Joey Gouly4247d9c2012-12-01 13:07:22 +0000[diff] [blame]98// RUN: %clang -target x86_64-linux-gnu -fcatch-undefined-behavior -fthread-sanitizer -fno-thread-sanitizer -faddress-sanitizer -fno-address-sanitizer -fbounds-checking -### %s 2>&1 | FileCheck %s --check-prefix=CHECK-DEPRECATED
Chad Rosier78d85b12013-01-29 23:31:22 +0000[diff] [blame]99// CHECK-DEPRECATED: argument '-fcatch-undefined-behavior' is deprecated, use '-fsanitize=undefined-trap -fsanitize-undefined-trap-on-error' instead
Richard Smith04fd3822012-11-06 01:12:02 +0000[diff] [blame]100// CHECK-DEPRECATED: argument '-fthread-sanitizer' is deprecated, use '-fsanitize=thread' instead
101// CHECK-DEPRECATED: argument '-fno-thread-sanitizer' is deprecated, use '-fno-sanitize=thread' instead
102// CHECK-DEPRECATED: argument '-faddress-sanitizer' is deprecated, use '-fsanitize=address' instead
103// CHECK-DEPRECATED: argument '-fno-address-sanitizer' is deprecated, use '-fno-sanitize=address' instead
Richard Smith69170e62013-10-22 22:51:04 +0000[diff] [blame^]104// CHECK-DEPRECATED: argument '-fbounds-checking' is deprecated, use '-fsanitize=local-bounds' instead
Evgeniy Stepanov99469f72012-12-05 13:37:12 +0000[diff] [blame]105
106// RUN: %clang -target x86_64-linux-gnu -fsanitize=thread %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-TSAN-NO-PIE
Peter Collingbourne52ca70d2013-04-09 04:35:11 +0000[diff] [blame]107// CHECK-TSAN-NO-PIE: "-mrelocation-model" "pic" "-pic-level" "2" "-pie-level" "2"
108// CHECK-TSAN-NO-PIE: "-pie"
Evgeniy Stepanov99469f72012-12-05 13:37:12 +0000[diff] [blame]109
110// 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]111// CHECK-MSAN-NO-PIE: "-mrelocation-model" "pic" "-pic-level" "2" "-pie-level" "2"
112// CHECK-MSAN-NO-PIE: "-pie"
Evgeniy Stepanov99469f72012-12-05 13:37:12 +0000[diff] [blame]113
Alexey Samsonov4bdc6042013-01-20 13:12:12 +0000[diff] [blame]114// RUN: %clang -target x86_64-linux-gnu -fsanitize=address -fsanitize-address-zero-base-shadow %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-ASAN-ZERO-BASE-SHADOW-NO-PIE
Peter Collingbourne52ca70d2013-04-09 04:35:11 +0000[diff] [blame]115// CHECK-ASAN-ZERO-BASE-SHADOW-NO-PIE: "-mrelocation-model" "pic" "-pic-level" "2" "-pie-level" "2"
116// CHECK-ASAN-ZERO-BASE-SHADOW-NO-PIE: "-pie"
Alexey Samsonov4bdc6042013-01-20 13:12:12 +0000[diff] [blame]117
118// RUN: %clang -target x86_64-linux-gnu -fsanitize=address -fsanitize-address-zero-base-shadow -fno-sanitize-address-zero-base-shadow %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-ASAN-ZERO-BASE-SHADOW-CANCEL
Peter Collingbourne52ca70d2013-04-09 04:35:11 +0000[diff] [blame]119// CHECK-ASAN-ZERO-BASE-SHADOW-CANCEL-NOT: "-mrelocation-model" "pic" "-pic-level" "2" "-pie-level" "2"
120// CHECK-ASAN-ZERO-BASE-SHADOW-CANCEL-NOT: "-pie"
Alexey Samsonov4bdc6042013-01-20 13:12:12 +0000[diff] [blame]121
Evgeniy Stepanov99469f72012-12-05 13:37:12 +0000[diff] [blame]122// 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]123// CHECK-ANDROID-ASAN-NO-PIE: "-mrelocation-model" "pic" "-pic-level" "2" "-pie-level" "2"
124// CHECK-ANDROID-ASAN-NO-PIE: "-pie"
Will Dietz2d382d12012-12-30 20:53:28 +0000[diff] [blame]125
Alexey Samsonov48d0f072013-08-09 10:56:42 +0000[diff] [blame]126// RUN: %clang -target arm-linux-androideabi %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-ANDROID-NO-ASAN
127// CHECK-ANDROID-NO-ASAN: "-mrelocation-model" "static"
128
Alexey Samsonov4a1ea522013-04-09 07:27:44 +0000[diff] [blame]129// RUN: %clang -target arm-linux-androideabi -fsanitize=address -fsanitize-address-zero-base-shadow %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-ANDROID-ASAN-ZERO-BASE
130// CHECK-ANDROID-ASAN-ZERO-BASE-NOT: argument unused during compilation
131
132// RUN: %clang -target arm-linux-androideabi -fsanitize=address -fno-sanitize-address-zero-base-shadow %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-ANDROID-ASAN-NO-ZERO-BASE
133// CHECK-ANDROID-ASAN-NO-ZERO-BASE: '-fno-sanitize-address-zero-base-shadow' not allowed with '-fsanitize=address'
134
Will Dietz2d382d12012-12-30 20:53:28 +0000[diff] [blame]135// RUN: %clang -target x86_64-linux-gnu %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-RECOVER
136// RUN: %clang -target x86_64-linux-gnu %s -fsanitize-recover -### 2>&1 | FileCheck %s --check-prefix=CHECK-RECOVER
137// RUN: %clang -target x86_64-linux-gnu %s -fno-sanitize-recover -### 2>&1 | FileCheck %s --check-prefix=CHECK-NO-RECOVER
138// RUN: %clang -target x86_64-linux-gnu %s -fno-sanitize-recover -fsanitize-recover -### 2>&1 | FileCheck %s --check-prefix=CHECK-RECOVER
139// RUN: %clang -target x86_64-linux-gnu %s -fsanitize-recover -fno-sanitize-recover -### 2>&1 | FileCheck %s --check-prefix=CHECK-NO-RECOVER
140// CHECK-RECOVER-NOT: sanitize-recover
141// CHECK-NO-RECOVER: "-fno-sanitize-recover"
Sergey Matveev050309f2013-05-27 11:17:01 +0000[diff] [blame]142
143// RUN: %clang -target x86_64-linux-gnu -fsanitize=leak %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-SANL
144// CHECK-SANL: "-fsanitize=leak"
145
146// 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
147// CHECK-SANA-SANL-NO-SANA: "-fsanitize=leak"
Evgeniy Stepanov3a166e22013-06-20 10:49:46 +0000[diff] [blame]148
149// RUN: %clang -target x86_64-linux-gnu -fsanitize=memory %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-MSAN
150// CHECK-MSAN: "-fno-assume-sane-operator-new"
Alexey Samsonov1b8f12d2013-08-19 09:14:21 +0000[diff] [blame]151
152// RUN: %clang -target x86_64-linux-gnu -fsanitize=zzz %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-DIAG1
153// CHECK-DIAG1: unsupported argument 'zzz' to option 'fsanitize='
154// CHECK-DIAG1-NOT: unsupported argument 'zzz' to option 'fsanitize='