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 {
~foofoo4 virtual ~foo() {}
5 virtual void f() = 0;
6 };
7
8 template <typename T>
9 struct bar : virtual public foo {
fbar10 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> {
~bazbaz23 virtual ~baz() {}
24 };
25
main()26 int main() {
27 baz *z = new baz;
28 z->f();
29 }
30