| 1 | // RUN: %clang_cc1 -flto -flto-unit -emit-llvm -o - -triple=x86_64-pc-win32 %s -fsanitize=cfi-nvcall -fsanitize-trap=cfi-nvcall | 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 | }; |
|---|
| 12 | |
|---|
| 13 | struct baz : public bar<baz> { |
|---|
| 14 | virtual ~baz() {} |
|---|
| 15 | void g() {} |
|---|
| 16 | }; |
|---|
| 17 | |
|---|
| 18 | void f(baz *z) { |
|---|
| 19 | // CHECK: define{{.*}}@"?f@@YAXPEAUbaz@@@Z" |
|---|
| 20 | // Load z, vbtable, vbase offset and vtable. |
|---|
| 21 | // CHECK: load |
|---|
| 22 | // CHECK: load |
|---|
| 23 | // CHECK: load |
|---|
| 24 | // CHECK: load |
|---|
| 25 | // CHECK: @llvm.type.test{{.*}}!"?AUfoo@@" |
|---|
| 26 | z->g(); |
|---|
| 27 | } |
|---|
| 28 | |
|---|