| Richard Smith | c4dabad | 2012-11-05 22:04:41 +0000 | [diff] [blame] | 1 | // RUN: %clang -target x86_64-linux-gnu -fcatch-undefined-behavior %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-UNDEFINED |
| 2 | // RUN: %clang -target x86_64-linux-gnu -fsanitize=undefined %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-UNDEFINED |
| Richard Smith | c4dabad | 2012-11-05 22:04:41 +0000 | [diff] [blame] | 3 | |
| 4 | // RUN: %clang -target x86_64-linux-gnu -fsanitize=thread,undefined -fno-thread-sanitizer -fno-sanitize=float-cast-overflow,vptr %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-PARTIAL-UNDEFINED |
| Will Dietz | b854036 | 2012-11-27 15:01:55 +0000 | [diff] [blame] | 5 | // CHECK-UNDEFINED: "-fsanitize={{((signed-integer-overflow|integer-divide-by-zero|float-divide-by-zero|shift|unreachable|return|vla-bound|alignment|null|vptr|object-size|float-cast-overflow|bounds),?){13}"}} |
| 6 | // |
| 7 | // RUN: %clang -target x86_64-linux-gnu -fsanitize=integer %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-INTEGER |
| 8 | // CHECK-INTEGER: "-fsanitize={{((signed-integer-overflow|unsigned-integer-overflow|integer-divide-by-zero|shift),?){4}"}} |
| 9 | |
| 10 | // RUN: %clang -target x86_64-linux-gnu -fsanitize=thread,undefined -fno-thread-sanitizer -fno-sanitize=float-cast-overflow,vptr %s -### 2>&1 | FileCheck %s --check-prefix=CHECK-PARTIAL-UNDEFINED |
| 11 | // CHECK-PARTIAL-UNDEFINED: "-fsanitize={{((signed-integer-overflow|integer-divide-by-zero|float-divide-by-zero|shift|unreachable|return|vla-bound|alignment|null|object-size|bounds),?){11}"}} |
| Richard Smith | c4dabad | 2012-11-05 22:04:41 +0000 | [diff] [blame] | 12 | |
| NAKAMURA Takumi | 17b00a4 | 2012-11-06 20:44:29 +0000 | [diff] [blame] | 13 | // RUN: %clang -target x86_64-linux-gnu -fsanitize=vptr -fno-rtti %s -c -o /dev/null 2>&1 | FileCheck %s --check-prefix=CHECK-VPTR-NO-RTTI |
| 14 | // RUN: %clang -target x86_64-linux-gnu -fsanitize=undefined -fno-rtti %s -c -o /dev/null 2>&1 | FileCheck %s --check-prefix=CHECK-VPTR-NO-RTTI |
| Richard Smith | 04fd382 | 2012-11-06 01:12:02 +0000 | [diff] [blame] | 15 | // CHECK-VPTR-NO-RTTI: '-fsanitize=vptr' not allowed with '-fno-rtti' |
| Richard Smith | c4dabad | 2012-11-05 22:04:41 +0000 | [diff] [blame] | 16 | |
| NAKAMURA Takumi | 17b00a4 | 2012-11-06 20:44:29 +0000 | [diff] [blame] | 17 | // RUN: %clang -target x86_64-linux-gnu -fsanitize=address,thread -fno-rtti %s -c -o /dev/null 2>&1 | FileCheck %s --check-prefix=CHECK-SANA-SANT |
| Richard Smith | c4dabad | 2012-11-05 22:04:41 +0000 | [diff] [blame] | 18 | // CHECK-SANA-SANT: '-fsanitize=address' not allowed with '-fsanitize=thread' |
| 19 | |
| NAKAMURA Takumi | 17b00a4 | 2012-11-06 20:44:29 +0000 | [diff] [blame] | 20 | // RUN: %clang -target x86_64-linux-gnu -faddress-sanitizer -fthread-sanitizer -fno-rtti %s -c -o /dev/null 2>&1 | FileCheck %s --check-prefix=CHECK-ASAN-TSAN |
| Richard Smith | 04fd382 | 2012-11-06 01:12:02 +0000 | [diff] [blame] | 21 | // CHECK-ASAN-TSAN: '-faddress-sanitizer' not allowed with '-fthread-sanitizer' |
| 22 | |
| Alexey Samsonov | 3325b16 | 2012-11-28 17:34:24 +0000 | [diff] [blame^] | 23 | // RUN: %clang -target x86_64-linux-gnu -fsanitize=address -fsanitize=alignment -fsanitize=vptr -fno-sanitize=vptr %s -c -o /dev/null 2>&1 | FileCheck %s --check-prefix=CHECK-UBSAN-ASAN |
| 24 | // CHECK-UBSAN-ASAN: '-fsanitize=address' not allowed with '-fsanitize=alignment' |
| 25 | |
| 26 | // RUN: %clang -target x86_64-linux-gnu -fsanitize=vptr -fno-sanitize=vptr -fsanitize=undefined,address %s -c -o /dev/null 2>&1 | FileCheck %s --check-prefix=CHECK-VPTR-UBSAN-ASAN |
| 27 | // CHECK-VPTR-UBSAN-ASAN: '-fsanitize=address' not allowed with '-fsanitize=undefined' |
| 28 | |
| Joey Gouly | 8548908 | 2012-11-23 10:39:49 +0000 | [diff] [blame] | 29 | // RUN: %clang -target x86_64-linux-gnu -fcatch-undefined-behavior -fthread-sanitizer -fno-thread-sanitizer -faddress-sanitizer -fno-address-sanitizer -fbounds-checking -c -o /dev/null %s 2>&1 | FileCheck %s --check-prefix=CHECK-DEPRECATED |
| Richard Smith | 04fd382 | 2012-11-06 01:12:02 +0000 | [diff] [blame] | 30 | // CHECK-DEPRECATED: argument '-fcatch-undefined-behavior' is deprecated, use '-fsanitize=undefined' instead |
| 31 | // CHECK-DEPRECATED: argument '-fthread-sanitizer' is deprecated, use '-fsanitize=thread' instead |
| 32 | // CHECK-DEPRECATED: argument '-fno-thread-sanitizer' is deprecated, use '-fno-sanitize=thread' instead |
| 33 | // CHECK-DEPRECATED: argument '-faddress-sanitizer' is deprecated, use '-fsanitize=address' instead |
| 34 | // CHECK-DEPRECATED: argument '-fno-address-sanitizer' is deprecated, use '-fno-sanitize=address' instead |
| Joey Gouly | 8548908 | 2012-11-23 10:39:49 +0000 | [diff] [blame] | 35 | // CHECK-DEPRECATED: argument '-fbounds-checking' is deprecated, use '-fsanitize=bounds' instead |