| 1 | // Check that we emit warnings/errors for different combinations of |
| 2 | // exceptions, rtti, and vptr sanitizer flags for generic (unknown) x86 linux, |
| 3 | // and for PS4 when its behaviour differs from the generic x86-linux. |
| 4 | // No warnings/errors should be emitted for unknown, except if combining |
| 5 | // the vptr sanitizer with -fno-rtti |
| 6 | |
| 7 | // Special cases: -fcxx-exceptions in C code should warn about unused arguments |
| 8 | // We should also not have any rtti-related arguments |
| 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 %s |
| 10 | |
| 11 | // Make sure we keep the last -frtti/-fno-rtti argument |
| 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 | |
| 15 | // -fsanitize=vptr |
| 16 | // Make sure we only error/warn once, when trying to enable vptr and |
| 17 | // undefined and have -fno-rtti |
| 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 |
| 24 | // RUN: %clang -### -c -target x86_64-scei-ps4 -fsanitize=vptr %s 2>&1 | FileCheck -check-prefix=CHECK-SAN-WARN %s |
| 25 | |
| 26 | // Exceptions + no/default rtti |
| 27 | // RUN: %clang -### -c -target x86_64-unknown-unknown -fcxx-exceptions -fno-rtti %s 2>&1 | FileCheck -check-prefix=CHECK-OK %s |
| 28 | // RUN: %clang -### -c -target x86_64-unknown-unknown -fcxx-exceptions %s 2>&1 | FileCheck -check-prefix=CHECK-OK %s |
| 29 | // In C++, -fexceptions implies -fcxx-exceptions |
| 30 | // RUN: %clang -x c++ -### -c -target x86_64-unknown-unknown -fexceptions -fno-rtti %s 2>&1 | FileCheck -check-prefix=CHECK-OK %s |
| 31 | // RUN: %clang -x c++ -### -c -target x86_64-unknown-unknown -fexceptions %s 2>&1 | FileCheck -check-prefix=CHECK-OK %s |
| 32 | |
| 33 | // -frtti + exceptions |
| 34 | // RUN: %clang -### -c -target x86_64-unknown-unknown -fcxx-exceptions -frtti %s 2>&1 | FileCheck -check-prefix=CHECK-OK %s |
| 35 | |
| 36 | // -f{no-,}rtti/default |
| 37 | // RUN: %clang -### -c -target x86_64-scei-ps4 %s 2>&1 | FileCheck -check-prefix=CHECK-NO-RTTI %s |
| 38 | // RUN: %clang -### -c -target x86_64-unknown-unknown -frtti %s 2>&1 | FileCheck -check-prefix=CHECK-RTTI %s |
| 39 | // RUN: %clang -### -c -target x86_64-unknown-unknown -fno-rtti %s 2>&1 | FileCheck -check-prefix=CHECK-NO-RTTI %s |
| 40 | // RUN: %clang -### -c -target x86_64-unknown-unknown %s 2>&1 | FileCheck -check-prefix=CHECK-RTTI %s |
| 41 | |
| 42 | // CHECK-UNUSED: warning: argument unused during compilation: '-fcxx-exceptions' |
| 43 | // CHECK-SAN-WARN: implicitly disabling vptr sanitizer because rtti wasn't enabled |
| 44 | // CHECK-SAN-ERROR: invalid argument '-fsanitize=vptr' not allowed with '-fno-rtti' |
| 45 | // CHECK-RTTI-NOT: "-fno-rtti" |
| 46 | // CHECK-NO-RTTI: "-fno-rtti" |
| 47 | |
| 48 | // CHECK-OK-NOT: {{warning:|error:}} |
| 49 | |