diff options
Diffstat (limited to 'libcxx/test/std/utilities/meta/meta.rel/is_base_of.pass.cpp')
| -rw-r--r-- | libcxx/test/std/utilities/meta/meta.rel/is_base_of.pass.cpp | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/libcxx/test/std/utilities/meta/meta.rel/is_base_of.pass.cpp b/libcxx/test/std/utilities/meta/meta.rel/is_base_of.pass.cpp index ec27581a4f9..b50cf57ed16 100644 --- a/libcxx/test/std/utilities/meta/meta.rel/is_base_of.pass.cpp +++ b/libcxx/test/std/utilities/meta/meta.rel/is_base_of.pass.cpp @@ -39,6 +39,7 @@ struct B {}; struct B1 : B {}; struct B2 : B {}; struct D : private B1, private B2 {}; +struct I0; // incomplete int main(int, char**) { @@ -54,5 +55,19 @@ int main(int, char**) test_is_not_base_of<B[3], D[3]>(); test_is_not_base_of<int, int>(); +// A scalar is never the base class of anything (including incomplete types) + test_is_not_base_of<int, B>(); + test_is_not_base_of<int, B1>(); + test_is_not_base_of<int, B2>(); + test_is_not_base_of<int, D>(); + test_is_not_base_of<int, I0>(); + +// A scalar never has base classes (including incomplete types) + test_is_not_base_of<B, int>(); + test_is_not_base_of<B1, int>(); + test_is_not_base_of<B2, int>(); + test_is_not_base_of<D, int>(); + test_is_not_base_of<I0, int>(); + return 0; } |
