diff options
author | Eric Fiselier <eric@efcs.ca> | 2015-04-06 23:03:01 +0000 |
---|---|---|
committer | Eric Fiselier <eric@efcs.ca> | 2015-04-06 23:03:01 +0000 |
commit | b6030b9dbf1762877795fabbea7c7b4b7dbf627e (patch) | |
tree | cbd7d45812e277dade8c9ab0e5370a3eac26c5df /libcxxabi/test | |
parent | 7c869e48210d1adcca8413ec1533dcf8ff5da56d (diff) | |
download | bcm5719-llvm-b6030b9dbf1762877795fabbea7c7b4b7dbf627e.tar.gz bcm5719-llvm-b6030b9dbf1762877795fabbea7c7b4b7dbf627e.zip |
[libcxxabi] Disallow Base to Derived conversions for catching pointers to members.
Summary:
I accidentally implemented the 4.11 [conv.mem] conversions for libc++abi in a recent patch. @majnemer pointed out that 5.13 [except.handle] only allows the pointer conversions in 4.10 and not those is 4.11. This patch no longer allows the following example code:
```c++
struct A {};
struct B : public A {};
int main() {
try {
throw (int A::*)0;
} catch (int B::*) {
// exception caught here.
}
}
```
Reviewers: mclow.lists, jroelofs, majnemer
Reviewed By: majnemer
Subscribers: majnemer, cfe-commits
Differential Revision: http://reviews.llvm.org/D8845
llvm-svn: 234254
Diffstat (limited to 'libcxxabi/test')
-rw-r--r-- | libcxxabi/test/catch_member_data_pointer_01.pass.cpp | 15 | ||||
-rw-r--r-- | libcxxabi/test/catch_member_function_pointer_01.pass.cpp | 110 | ||||
-rw-r--r-- | libcxxabi/test/catch_multi_level_pointer.pass.cpp | 2 |
3 files changed, 115 insertions, 12 deletions
diff --git a/libcxxabi/test/catch_member_data_pointer_01.pass.cpp b/libcxxabi/test/catch_member_data_pointer_01.pass.cpp index 298a1c02561..28bf4b569b9 100644 --- a/libcxxabi/test/catch_member_data_pointer_01.pass.cpp +++ b/libcxxabi/test/catch_member_data_pointer_01.pass.cpp @@ -72,7 +72,7 @@ void test2() } } -// Check that Base -> Derived conversions are allowed. +// Check that Base -> Derived conversions are NOT allowed. void test3() { try @@ -90,14 +90,14 @@ void test3() } catch (der1) { + assert(false); } catch (md1) { - assert(false); } } -// Check that Base -> Derived conversions are allowed with different cv +// Check that Base -> Derived conversions NOT are allowed with different cv // qualifiers. void test4() { @@ -108,18 +108,13 @@ void test4() } catch (der2) { - } - catch (...) - { assert(false); } - - try + catch (der1) { - throw &A::j; assert(false); } - catch (der1) + catch (md2) { } catch (...) diff --git a/libcxxabi/test/catch_member_function_pointer_01.pass.cpp b/libcxxabi/test/catch_member_function_pointer_01.pass.cpp index 4503d889c17..28b13cc6709 100644 --- a/libcxxabi/test/catch_member_function_pointer_01.pass.cpp +++ b/libcxxabi/test/catch_member_function_pointer_01.pass.cpp @@ -18,6 +18,20 @@ struct A typedef void (A::*mf1)(); typedef void (A::*mf2)() const; +struct B : public A +{ +}; + +typedef void (B::*dmf1)(); +typedef void (B::*dmf2)() const; + +template <class Tp> +bool can_convert(Tp) { return true; } + +template <class> +bool can_convert(...) { return false; } + + void test1() { try @@ -50,8 +64,104 @@ void test2() } } + + +void test_derived() +{ + try + { + throw (mf1)0; + assert(false); + } + catch (dmf2) + { + assert(false); + } + catch (dmf1) + { + assert(false); + } + catch (mf1) + { + } + + try + { + throw (mf2)0; + assert(false); + } + catch (dmf1) + { + assert(false); + } + catch (dmf2) + { + assert(false); + } + catch (mf2) + { + } + + assert(!can_convert<mf1>((dmf1)0)); + assert(!can_convert<mf2>((dmf1)0)); + try + { + throw (dmf1)0; + assert(false); + } + catch (mf2) + { + assert(false); + } + catch (mf1) + { + assert(false); + } + catch (...) + { + } + + assert(!can_convert<mf1>((dmf2)0)); + assert(!can_convert<mf2>((dmf2)0)); + try + { + throw (dmf2)0; + assert(false); + } + catch (mf2) + { + assert(false); + } + catch (mf1) + { + assert(false); + } + catch (...) + { + } +} + +void test_void() +{ + assert(!can_convert<void*>(&A::foo)); + try + { + throw &A::foo; + assert(false); + } + catch (void*) + { + assert(false); + } + catch(...) + { + } +} + int main() { test1(); test2(); + test_derived(); + test_void(); } diff --git a/libcxxabi/test/catch_multi_level_pointer.pass.cpp b/libcxxabi/test/catch_multi_level_pointer.pass.cpp index d722ea07b7a..3246099fa56 100644 --- a/libcxxabi/test/catch_multi_level_pointer.pass.cpp +++ b/libcxxabi/test/catch_multi_level_pointer.pass.cpp @@ -140,6 +140,4 @@ int main() generate_tests<int A::*, int A::*, 3>()(); generate_tests<int A::*, void, 2>()(); generate_tests<void, int A::*, 2>()(); - generate_tests<int Base::*, int Derived::*, 2>()(); - generate_tests<int Derived::*, int Base::*, 2>()(); } |