| 1 | // RUN: %clang_cc1 -flto -flto-unit -emit-llvm -o - -triple=x86_64-pc-win32 %s -fsanitize=cfi-derived-cast -fsanitize-trap=cfi-derived-cast | FileCheck %s |
|---|
| 2 | |
|---|
| 3 | struct foo { |
|---|
| 4 | virtual ~foo() {} |
|---|
| 5 | virtual void f() = 0; |
|---|
| 6 | }; |
|---|
| 7 | |
|---|
| 8 | template <typename T> |
|---|
| 9 | struct bar : virtual public foo { |
|---|
| 10 | void f() { |
|---|
| 11 | // CHECK: define{{.*}}@"?f@?$bar@Ubaz@@@@UEAAXXZ" |
|---|
| 12 | // Load "this", vbtable, vbase offset and vtable. |
|---|
| 13 | // CHECK: load |
|---|
| 14 | // CHECK: load |
|---|
| 15 | // CHECK: load |
|---|
| 16 | // CHECK: load |
|---|
| 17 | // CHECK: @llvm.type.test{{.*}}!"?AUfoo@@" |
|---|
| 18 | static_cast<T&>(*this); |
|---|
| 19 | } |
|---|
| 20 | }; |
|---|
| 21 | |
|---|
| 22 | struct baz : public bar<baz> { |
|---|
| 23 | virtual ~baz() {} |
|---|
| 24 | }; |
|---|
| 25 | |
|---|
| 26 | int main() { |
|---|
| 27 | baz *z = new baz; |
|---|
| 28 | z->f(); |
|---|
| 29 | } |
|---|
| 30 | |
|---|