diff options
| author | paolo <paolo@138bc75d-0d04-0410-961f-82ee72b054a4> | 2005-04-28 22:35:09 +0000 |
|---|---|---|
| committer | paolo <paolo@138bc75d-0d04-0410-961f-82ee72b054a4> | 2005-04-28 22:35:09 +0000 |
| commit | cfe1e34f73f23b972c16b31bba977fe198a56e1f (patch) | |
| tree | 3198b8780e3748cf55bd8e2e50c630f2342e98ed /libstdc++-v3/testsuite/tr1/4_metaprogramming | |
| parent | 9c359eb8fab900283e7576a01078c37a720924a3 (diff) | |
| download | gcc-cfe1e34f73f23b972c16b31bba977fe198a56e1f.tar.gz | |
2005-04-29 Paolo Carlini <pcarlini@suse.de>
* include/tr1/type_traits (is_convertible): Adjust according
to the resolution of TR1 issue 3.20.
* testsuite/tr1/4_metaprogramming/relationships_between_types/
is_convertible/is_convertible.cc: Add tests.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@98944 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'libstdc++-v3/testsuite/tr1/4_metaprogramming')
| -rw-r--r-- | libstdc++-v3/testsuite/tr1/4_metaprogramming/relationships_between_types/is_convertible/is_convertible.cc | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/libstdc++-v3/testsuite/tr1/4_metaprogramming/relationships_between_types/is_convertible/is_convertible.cc b/libstdc++-v3/testsuite/tr1/4_metaprogramming/relationships_between_types/is_convertible/is_convertible.cc index 858bfda3ad1..19b360aca8d 100644 --- a/libstdc++-v3/testsuite/tr1/4_metaprogramming/relationships_between_types/is_convertible/is_convertible.cc +++ b/libstdc++-v3/testsuite/tr1/4_metaprogramming/relationships_between_types/is_convertible/is_convertible.cc @@ -54,6 +54,10 @@ void test01() VERIFY( (test_relationship<is_convertible, DerivedType*, ClassType*>(true)) ); VERIFY( (test_relationship<is_convertible, DerivedType&, ClassType&>(true)) ); + VERIFY( (test_relationship<is_convertible, void, void>(true)) ); + VERIFY( (test_relationship<is_convertible, int, void>(true)) ); + VERIFY( (test_relationship<is_convertible, int[4], void>(true)) ); + // Negative tests. VERIFY( (test_relationship<is_convertible, const int*, int*>(false)) ); VERIFY( (test_relationship<is_convertible, int*, float*>(false)) ); @@ -69,7 +73,11 @@ void test01() VERIFY( (test_relationship<is_convertible, int, ClassType>(false)) ); VERIFY( (test_relationship<is_convertible, ClassType, DerivedType>(false)) ); VERIFY( (test_relationship<is_convertible, ClassType*, DerivedType*>(false)) ); - VERIFY( (test_relationship<is_convertible, ClassType&, DerivedType&>(false)) ); + VERIFY( (test_relationship<is_convertible, ClassType&, DerivedType&>(false)) ); + + VERIFY( (test_relationship<is_convertible, void, int>(false)) ); + VERIFY( (test_relationship<is_convertible, void, float>(false)) ); + VERIFY( (test_relationship<is_convertible, void, int(*)(int)>(false)) ); } int main() |