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 | |