| // 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 |
| |
| struct foo { |
| virtual ~foo() {} |
| virtual void f() = 0; |
| }; |
| |
| template <typename T> |
| struct bar : virtual public foo { |
| void f() { |
| // CHECK: define{{.*}}@"?f@?$bar@Ubaz@@@@UEAAXXZ" |
| // Load "this", vbtable, vbase offset and vtable. |
| // CHECK: load |
| // CHECK: load |
| // CHECK: load |
| // CHECK: load |
| // CHECK: @llvm.type.test{{.*}}!"?AUfoo@@" |
| static_cast<T&>(*this); |
| } |
| }; |
| |
| struct baz : public bar<baz> { |
| virtual ~baz() {} |
| }; |
| |
| int main() { |
| baz *z = new baz; |
| z->f(); |
| } |