Pirama Arumuga Nainar | 799172d | 2016-03-03 15:50:30 -0800 | [diff] [blame^] | 1 | // RUN: %clangxx_cfi -o %t1 %s |
| 2 | // RUN: %expect_crash %t1 2>&1 | FileCheck --check-prefix=CFI %s |
| 3 | |
| 4 | // RUN: %clangxx_cfi -DB32 -o %t2 %s |
| 5 | // RUN: %expect_crash %t2 2>&1 | FileCheck --check-prefix=CFI %s |
| 6 | |
| 7 | // RUN: %clangxx_cfi -DB64 -o %t3 %s |
| 8 | // RUN: %expect_crash %t3 2>&1 | FileCheck --check-prefix=CFI %s |
| 9 | |
| 10 | // RUN: %clangxx_cfi -DBM -o %t4 %s |
| 11 | // RUN: %expect_crash %t4 2>&1 | FileCheck --check-prefix=CFI %s |
| 12 | |
| 13 | // RUN: %clangxx_cfi -O1 -o %t5 %s |
| 14 | // RUN: %expect_crash %t5 2>&1 | FileCheck --check-prefix=CFI %s |
| 15 | |
| 16 | // RUN: %clangxx_cfi -O1 -DB32 -o %t6 %s |
| 17 | // RUN: %expect_crash %t6 2>&1 | FileCheck --check-prefix=CFI %s |
| 18 | |
| 19 | // RUN: %clangxx_cfi -O1 -DB64 -o %t7 %s |
| 20 | // RUN: %expect_crash %t7 2>&1 | FileCheck --check-prefix=CFI %s |
| 21 | |
| 22 | // RUN: %clangxx_cfi -O1 -DBM -o %t8 %s |
| 23 | // RUN: %expect_crash %t8 2>&1 | FileCheck --check-prefix=CFI %s |
| 24 | |
| 25 | // RUN: %clangxx_cfi -O2 -o %t9 %s |
| 26 | // RUN: %expect_crash %t9 2>&1 | FileCheck --check-prefix=CFI %s |
| 27 | |
| 28 | // RUN: %clangxx_cfi -O2 -DB32 -o %t10 %s |
| 29 | // RUN: %expect_crash %t10 2>&1 | FileCheck --check-prefix=CFI %s |
| 30 | |
| 31 | // RUN: %clangxx_cfi -O2 -DB64 -o %t11 %s |
| 32 | // RUN: %expect_crash %t11 2>&1 | FileCheck --check-prefix=CFI %s |
| 33 | |
| 34 | // RUN: %clangxx_cfi -O2 -DBM -o %t12 %s |
| 35 | // RUN: %expect_crash %t12 2>&1 | FileCheck --check-prefix=CFI %s |
| 36 | |
| 37 | // RUN: %clangxx_cfi -O3 -o %t13 %s |
| 38 | // RUN: %expect_crash %t13 2>&1 | FileCheck --check-prefix=CFI %s |
| 39 | |
| 40 | // RUN: %clangxx_cfi -O3 -DB32 -o %t14 %s |
| 41 | // RUN: %expect_crash %t14 2>&1 | FileCheck --check-prefix=CFI %s |
| 42 | |
| 43 | // RUN: %clangxx_cfi -O3 -DB64 -o %t15 %s |
| 44 | // RUN: %expect_crash %t15 2>&1 | FileCheck --check-prefix=CFI %s |
| 45 | |
| 46 | // RUN: %clangxx_cfi -O3 -DBM -o %t16 %s |
| 47 | // RUN: %expect_crash %t16 2>&1 | FileCheck --check-prefix=CFI %s |
| 48 | |
| 49 | // RUN: %clangxx_cfi_diag -o %t17 %s |
| 50 | // RUN: %t17 2>&1 | FileCheck --check-prefix=CFI-DIAG %s |
| 51 | |
| 52 | // RUN: %clangxx -o %t18 %s |
| 53 | // RUN: %t18 2>&1 | FileCheck --check-prefix=NCFI %s |
| 54 | |
| 55 | // Tests that the CFI mechanism crashes the program when making a |
| 56 | // base-to-derived cast from a destructor of the base class, |
| 57 | // where both types have virtual tables. |
| 58 | |
| 59 | // REQUIRES: cxxabi |
| 60 | |
| 61 | #include <stdio.h> |
| 62 | #include "utils.h" |
| 63 | |
| 64 | template<typename T> |
| 65 | class A { |
| 66 | public: |
| 67 | T* context() { return static_cast<T*>(this); } |
| 68 | |
| 69 | virtual ~A() { |
| 70 | break_optimization(context()); |
| 71 | } |
| 72 | }; |
| 73 | |
| 74 | class B : public A<B> { |
| 75 | public: |
| 76 | virtual ~B() { } |
| 77 | }; |
| 78 | |
| 79 | int main() { |
| 80 | // CFI: 1 |
| 81 | // NCFI: 1 |
| 82 | fprintf(stderr, "1\n"); |
| 83 | |
| 84 | // CFI-DIAG: runtime error: control flow integrity check for type 'B' failed during base-to-derived cast |
| 85 | // CFI-DIAG-NEXT: note: vtable is of type '{{(class )?}}A<{{(class )?}}B>' |
| 86 | B* b = new B; |
| 87 | break_optimization(b); |
| 88 | delete b; // UB here |
| 89 | |
| 90 | // CFI-NOT: {{^2$}} |
| 91 | // NCFI: {{^2$}} |
| 92 | fprintf(stderr, "2\n"); |
| 93 | } |