diff options
| author | David Majnemer <david.majnemer@gmail.com> | 2014-11-06 08:55:23 +0000 |
|---|---|---|
| committer | David Majnemer <david.majnemer@gmail.com> | 2014-11-06 08:55:23 +0000 |
| commit | 8ab892852b17ed10b820b18e4bcd75e8ad4a5df2 (patch) | |
| tree | a24839647ffcca8a6e91d28a7928c68b8d0ae1c6 /test/ubsan | |
| parent | 2eb3d6daf27d0698811912bf62cc113cbebca8e0 (diff) | |
UBSan: Teach isDerivedFromAtOffset and findBaseAtOffset about vbases
When the __virtual_mask is set, __offset_flags >> __offset_shift yields
an offset into the vtable. Dereferencing this vtable slot gets us the
vbase offset.
Adjust a test case to verify that this, in fact, works.
Differential Revision: http://reviews.llvm.org/D6074
git-svn-id: https://llvm.org/svn/llvm-project/compiler-rt/trunk@221445 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/ubsan')
| -rw-r--r-- | test/ubsan/TestCases/TypeCheck/vptr.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/test/ubsan/TestCases/TypeCheck/vptr.cpp b/test/ubsan/TestCases/TypeCheck/vptr.cpp index 1e1d67ac3..3a6b1553f 100644 --- a/test/ubsan/TestCases/TypeCheck/vptr.cpp +++ b/test/ubsan/TestCases/TypeCheck/vptr.cpp @@ -48,7 +48,8 @@ struct T : S { virtual int v() { return 1; } }; -struct U : S, T { virtual int v() { return 2; } }; +struct X {}; +struct U : S, T, virtual X { virtual int v() { return 2; } }; struct V : S {}; |