Filipe Cabecinhas | 28f353c | 2015-01-29 23:56:43 +0000 | [diff] [blame] | 1 | // Check that we emit warnings/errors for different combinations of |
| 2 | // exceptions, rtti, and vptr sanitizer flags when targetting the PS4. |
| 3 | // No warnings/errors should be emitted for unknown, except if combining |
| 4 | // the vptr sanitizer with -fno-rtti |
| 5 | |
Filipe Cabecinhas | c473255 | 2015-03-20 23:51:15 +0000 | [diff] [blame] | 6 | // Special cases: -fcxx-exceptions in C code should warn about unused arguments |
| 7 | // We should also not have any rtti-related arguments |
| 8 | // RUN: %clang -x c -### -target x86_64-scei-ps4 -c -fcxx-exceptions %s 2>&1 | FileCheck -check-prefix=CHECK-UNUSED -check-prefix=CHECK-RTTI -check-prefix=CHECK-NO-RTTI %s |
| 9 | // RUN: %clang -x c -### -target x86_64-unknown-unknown -c -fcxx-exceptions %s 2>&1 | FileCheck -check-prefix=CHECK-UNUSED -check-prefix=CHECK-RTTI -check-prefix=CHECK-NO-RTTI %s |
Filipe Cabecinhas | 3e707d9 | 2015-03-20 23:33:23 +0000 | [diff] [blame] | 10 | |
Filipe Cabecinhas | c473255 | 2015-03-20 23:51:15 +0000 | [diff] [blame] | 11 | // Make sure we keep the last -frtti/-fno-rtti argument |
Filipe Cabecinhas | ec5d0e6 | 2015-02-19 01:04:49 +0000 | [diff] [blame] | 12 | // RUN: %clang -### -c -fno-rtti -frtti %s 2>&1 | FileCheck -check-prefix=CHECK-RTTI %s |
| 13 | // RUN: %clang -### -c -frtti -fno-rtti %s 2>&1 | FileCheck -check-prefix=CHECK-NO-RTTI %s |
| 14 | |
Filipe Cabecinhas | 28f353c | 2015-01-29 23:56:43 +0000 | [diff] [blame] | 15 | // -fsanitize=vptr |
Filipe Cabecinhas | ec5d0e6 | 2015-02-19 01:04:49 +0000 | [diff] [blame] | 16 | // Make sure we only error/warn once, when trying to enable vptr and |
| 17 | // undefined and have -fno-rtti |
Alexey Samsonov | 7f2a0d2 | 2015-06-19 21:36:47 +0000 | [diff] [blame] | 18 | // RUN: %clang -### -c -target x86_64-unknown-linux -fsanitize=undefined -fsanitize=vptr -fno-rtti %s 2>&1 | FileCheck -check-prefix=CHECK-SAN-ERROR -check-prefix=CHECK-OK %s |
| 19 | // RUN: %clang -### -c -target x86_64-unknown-linux -fsanitize=vptr %s 2>&1 | FileCheck -check-prefix=CHECK-OK %s |
| 20 | // RUN: %clang -### -c -target x86_64-unknown-linux -fsanitize=vptr -frtti %s 2>&1 | FileCheck -check-prefix=CHECK-OK %s |
| 21 | // RUN: %clang -### -c -target x86_64-unknown-linux -fsanitize=vptr -fno-rtti %s 2>&1 | FileCheck -check-prefix=CHECK-SAN-ERROR %s |
| 22 | // RUN: %clang -### -c -target x86_64-unknown-linux -fsanitize=undefined %s 2>&1 | FileCheck -check-prefix=CHECK-OK %s |
| 23 | // RUN: %clang -### -c -target x86_64-unknown-linux -fsanitize=undefined -frtti %s 2>&1 | FileCheck -check-prefix=CHECK-OK %s |
Filipe Cabecinhas | 67d2805 | 2015-10-16 15:07:56 +0000 | [diff] [blame] | 24 | // RUN: %clang -### -c -target x86_64-scei-ps4 -fsanitize=vptr %s 2>&1 | FileCheck -check-prefix=CHECK-SAN-WARN %s |
| 25 | // RUN: %clang -### -c -target x86_64-scei-ps4 -fsanitize=vptr -frtti %s 2>&1 | FileCheck -check-prefix=CHECK-OK %s |
| 26 | // RUN: %clang -### -c -target x86_64-scei-ps4 -fsanitize=vptr -fno-rtti %s 2>&1 | FileCheck -check-prefix=CHECK-SAN-ERROR %s |
| 27 | // RUN: %clang -### -c -target x86_64-scei-ps4 -fsanitize=undefined -frtti %s 2>&1 | FileCheck -check-prefix=CHECK-OK %s |
Filipe Cabecinhas | 28f353c | 2015-01-29 23:56:43 +0000 | [diff] [blame] | 28 | |
| 29 | // Exceptions + no/default rtti |
Filipe Cabecinhas | 28f353c | 2015-01-29 23:56:43 +0000 | [diff] [blame] | 30 | // RUN: %clang -### -c -target x86_64-scei-ps4 -fcxx-exceptions -fno-rtti %s 2>&1 | FileCheck -check-prefix=CHECK-EXC-ERROR-CXX %s |
Filipe Cabecinhas | 28f353c | 2015-01-29 23:56:43 +0000 | [diff] [blame] | 31 | // RUN: %clang -### -c -target x86_64-scei-ps4 -fcxx-exceptions %s 2>&1 | FileCheck -check-prefix=CHECK-EXC-WARN %s |
Filipe Cabecinhas | 28f353c | 2015-01-29 23:56:43 +0000 | [diff] [blame] | 32 | // RUN: %clang -### -c -target x86_64-unknown-unknown -fcxx-exceptions -fno-rtti %s 2>&1 | FileCheck -check-prefix=CHECK-OK %s |
Filipe Cabecinhas | 28f353c | 2015-01-29 23:56:43 +0000 | [diff] [blame] | 33 | // RUN: %clang -### -c -target x86_64-unknown-unknown -fcxx-exceptions %s 2>&1 | FileCheck -check-prefix=CHECK-OK %s |
Filipe Cabecinhas | f2a3aec | 2015-01-31 23:05:51 +0000 | [diff] [blame] | 34 | // In C++, -fexceptions implies -fcxx-exceptions |
| 35 | // RUN: %clang -x c++ -### -c -target x86_64-scei-ps4 -fexceptions -fno-rtti %s 2>&1 | FileCheck -check-prefix=CHECK-EXC-ERROR %s |
| 36 | // RUN: %clang -x c++ -### -c -target x86_64-scei-ps4 -fexceptions %s 2>&1 | FileCheck -check-prefix=CHECK-EXC-WARN %s |
| 37 | // RUN: %clang -x c++ -### -c -target x86_64-unknown-unknown -fexceptions -fno-rtti %s 2>&1 | FileCheck -check-prefix=CHECK-OK %s |
| 38 | // RUN: %clang -x c++ -### -c -target x86_64-unknown-unknown -fexceptions %s 2>&1 | FileCheck -check-prefix=CHECK-OK %s |
Filipe Cabecinhas | 28f353c | 2015-01-29 23:56:43 +0000 | [diff] [blame] | 39 | |
| 40 | // -frtti + exceptions |
Greg Bedwell | 80b325c | 2015-09-25 16:11:00 +0000 | [diff] [blame] | 41 | // RUN: %clang -### -c -target x86_64-scei-ps4 -fcxx-exceptions -frtti %s 2>&1 | FileCheck -check-prefix=CHECK-OK %s |
Filipe Cabecinhas | 28f353c | 2015-01-29 23:56:43 +0000 | [diff] [blame] | 42 | // RUN: %clang -### -c -target x86_64-unknown-unknown -fcxx-exceptions -frtti %s 2>&1 | FileCheck -check-prefix=CHECK-OK %s |
| 43 | |
| 44 | // -f{no-,}rtti/default |
| 45 | // RUN: %clang -### -c -target x86_64-scei-ps4 -frtti %s 2>&1 | FileCheck -check-prefix=CHECK-RTTI %s |
| 46 | // RUN: %clang -### -c -target x86_64-scei-ps4 -fno-rtti %s 2>&1 | FileCheck -check-prefix=CHECK-NO-RTTI %s |
| 47 | // RUN: %clang -### -c -target x86_64-scei-ps4 %s 2>&1 | FileCheck -check-prefix=CHECK-NO-RTTI %s |
| 48 | // RUN: %clang -### -c -target x86_64-unknown-unknown -frtti %s 2>&1 | FileCheck -check-prefix=CHECK-RTTI %s |
| 49 | // RUN: %clang -### -c -target x86_64-unknown-unknown -fno-rtti %s 2>&1 | FileCheck -check-prefix=CHECK-NO-RTTI %s |
| 50 | // RUN: %clang -### -c -target x86_64-unknown-unknown %s 2>&1 | FileCheck -check-prefix=CHECK-RTTI %s |
| 51 | |
Filipe Cabecinhas | c473255 | 2015-03-20 23:51:15 +0000 | [diff] [blame] | 52 | // CHECK-UNUSED: warning: argument unused during compilation: '-fcxx-exceptions' |
Filipe Cabecinhas | 67d2805 | 2015-10-16 15:07:56 +0000 | [diff] [blame] | 53 | // CHECK-SAN-WARN: implicitly disabling vptr sanitizer because rtti wasn't enabled |
Filipe Cabecinhas | 28f353c | 2015-01-29 23:56:43 +0000 | [diff] [blame] | 54 | // CHECK-SAN-ERROR: invalid argument '-fsanitize=vptr' not allowed with '-fno-rtti' |
| 55 | // CHECK-EXC-WARN: implicitly enabling rtti for exception handling |
Filipe Cabecinhas | f2a3aec | 2015-01-31 23:05:51 +0000 | [diff] [blame] | 56 | // CHECK-EXC-ERROR: invalid argument '-fno-rtti' not allowed with '-fexceptions' |
Filipe Cabecinhas | 28f353c | 2015-01-29 23:56:43 +0000 | [diff] [blame] | 57 | // CHECK-EXC-ERROR-CXX: invalid argument '-fno-rtti' not allowed with '-fcxx-exceptions' |
| 58 | // CHECK-RTTI-NOT: "-fno-rtti" |
| 59 | // CHECK-NO-RTTI-NOT: "-frtti" |
| 60 | |
| 61 | // CHECK-OK-NOT: {{warning:|error:}} |