diff options
author | Dmitry Mikulin <dmitry.mikulin@sony.com> | 2019-10-15 16:32:50 +0000 |
---|---|---|
committer | Dmitry Mikulin <dmitry.mikulin@sony.com> | 2019-10-15 16:32:50 +0000 |
commit | 011274a28238f524397923213db6e6514358d05f (patch) | |
tree | e8d66cf13b4ef1c1216cf352af71a686839f3632 | |
parent | 810ae8ddac890a6613d814c0b5415c7fcb7f5cca (diff) | |
download | compiler-rt-011274a28238f524397923213db6e6514358d05f.tar.gz |
CFI: wrong type passed to llvm.type.test with multiple inheritance devirtualization.
Differential Revision: https://reviews.llvm.org/D67985
git-svn-id: https://llvm.org/svn/llvm-project/compiler-rt/trunk@374909 91177308-0d34-0410-b5e6-96231b3b80d8
-rw-r--r-- | test/cfi/multiple-inheritance2.cpp | 38 |
1 files changed, 38 insertions, 0 deletions
diff --git a/test/cfi/multiple-inheritance2.cpp b/test/cfi/multiple-inheritance2.cpp new file mode 100644 index 000000000..f6b38452e --- /dev/null +++ b/test/cfi/multiple-inheritance2.cpp @@ -0,0 +1,38 @@ +// Test that virtual functions of the derived class can be called through +// pointers of both base classes without CFI errors. +// Related to Bugzilla 43390. + +// RUN: %clangxx_cfi -o %t1 %s +// RUN: %run %t1 2>&1 | FileCheck --check-prefix=CFI %s + +// CFI: In f1 +// CFI: In f2 +// CFI-NOT: control flow integrity check + +// REQUIRES: cxxabi + +#include <stdio.h> + +class A1 { +public: + virtual void f1() = 0; +}; + +class A2 { +public: + virtual void f2() = 0; +}; + + +class B : public A1, public A2 { +public: + void f2() final { fprintf(stderr, "In f2\n"); } + void f1() final { fprintf(stderr, "In f1\n"); } +}; + +int main() { + B b; + + static_cast<A1*>(&b)->f1(); + static_cast<A2*>(&b)->f2(); +} |