From cfcac9f64a8ee9780ebe4c5492120ab19c103d80 Mon Sep 17 00:00:00 2001 From: David Majnemer Date: Sat, 2 May 2015 05:12:53 +0000 Subject: [PATCH] [MS ABI] Add testcase which was missing from r236354 This test verifies that we can detect when the inheritance paths are ambiguous due to covariant thunks, ensuring we don't regress PR16759. llvm-svn: 236381 --- .../microsoft-abi-vtables-ambiguous.cpp | 44 +++++++++++++++++++ 1 file changed, 44 insertions(+) create mode 100644 clang/test/CodeGenCXX/microsoft-abi-vtables-ambiguous.cpp diff --git a/clang/test/CodeGenCXX/microsoft-abi-vtables-ambiguous.cpp b/clang/test/CodeGenCXX/microsoft-abi-vtables-ambiguous.cpp new file mode 100644 index 000000000000..c05fc172bc17 --- /dev/null +++ b/clang/test/CodeGenCXX/microsoft-abi-vtables-ambiguous.cpp @@ -0,0 +1,44 @@ +// RUN: %clang_cc1 %s -emit-llvm-only -triple=i386-pc-win32 -verify -DTEST1 +// RUN: %clang_cc1 %s -emit-llvm-only -triple=i386-pc-win32 -verify -DTEST2 + +#ifdef TEST1 +struct A { + virtual A *foo(); // in vftable slot #0. + virtual A *bar(); // in vftable slot #1. +}; + +struct B : virtual A { + // appended to the A subobject's vftable in slot #2. + virtual B *foo(); // expected-note{{covariant thunk required by 'foo'}} +}; + +struct C : virtual A { + // appended to the A subobject's vftable in slot #2. + virtual C *bar(); // expected-note{{covariant thunk required by 'bar'}} +}; + +struct D : B, C { D(); }; // expected-error{{ambiguous vftable component}} +D::D() {} +#endif + +#ifdef TEST2 +struct A { + virtual A *foo(); // in vftable slot #0 +}; + +struct B : virtual A { + // appended to the A subobject's vftable in slot #1. + virtual B *foo(); // expected-note{{covariant thunk required by 'foo'}} +}; + +struct C : virtual A { + // appended to the A subobject's vftable in slot #1. + virtual C *foo(); // expected-note{{covariant thunk required by 'foo'}} +}; + +struct D : B, C { // expected-error{{ambiguous vftable component}} + virtual D *foo(); + D(); +}; +D::D() {} +#endif -- 2.34.1