mirror of
https://github.com/capstone-engine/llvm-capstone.git
synced 2024-10-07 02:43:57 +00:00
d5f84e6121
This addresses cases (currently failing) where we throw a null pointer-to-object and fixes #64953. We are trying to satisfy the following bullet from the C++ ABI 15.3: * the handler is of type cv1 T* cv2 and E is a pointer type that can be converted to the type of the handler by either or both of: - a standard pointer conversion (4.10 [conv.ptr]) not involving conversions to private or protected or ambiguous classes. - a qualification conversion. The existing implementation assesses the ambiguity of bases by computing the offsets to them; ambiguous cases are then when the same base appears at different offsets. The computation of offset includes indirecting through the vtables to find the offsets to virtual bases. When the thrown pointer points to a real object, this is quite efficient since, if the base is found, and it is not ambiguous and on a public path, the offset is needed to return the adjusted pointer (and the indirections are not particularly expensive to compute). However, when we throw a null pointer-to-object, this scheme is no longer applicable (and the code currently bypasses the relevant computations, leading to the incorrect catches reported in the issue). ----- The solution proposed here takes a composite approach: 1. When the pointer-to-object points to a real instance (well, at least, it is determined to be non-null), we use the existing scheme. 2. When the pointer-to-object is null: * We note that there is no real object. * When we are processing non-virtual bases, we continue to compute the offsets, but for a notional dummy object based at 0. This is OK, since we never need to access the object content for non-virtual bases. * When we are processing a path with one or more virtual bases, we remember a cookie corresponding to the inner-most virtual base found so far (and set the notional offset to 0). Offsets to inner non-virtual bases are then computed as normal. A base is then ambiguous iff: * There is a recorded virtual base cookie and that is different from the current one or, * The non-virtual base offsets differ. When a handler for a pointer succeeds in catching a base pointer for a thrown null pointer-to-object, we still return a nullptr (so the adjustment to the pointer is not required and need not be computed). Since we noted that there was no object when starting the search for ambiguous bases, we know that we can skip the pointer adjustment. This was originally uploaded as https://reviews.llvm.org/D158769. Fixes #64953 |
||
|---|---|---|
| .. | ||
| configs | ||
| native | ||
| support | ||
| vendor | ||
| backtrace_test.pass.cpp | ||
| catch_array_01.pass.cpp | ||
| catch_array_02.pass.cpp | ||
| catch_class_01.pass.cpp | ||
| catch_class_02.pass.cpp | ||
| catch_class_03.pass.cpp | ||
| catch_class_04.pass.cpp | ||
| catch_const_pointer_nullptr.pass.cpp | ||
| catch_function_01.pass.cpp | ||
| catch_function_02.pass.cpp | ||
| catch_function_03.pass.cpp | ||
| catch_in_noexcept.pass.cpp | ||
| catch_member_data_pointer_01.pass.cpp | ||
| catch_member_function_pointer_01.pass.cpp | ||
| catch_member_function_pointer_02.pass.cpp | ||
| catch_member_pointer_nullptr.pass.cpp | ||
| catch_multi_level_pointer.pass.cpp | ||
| catch_null_pointer_to_object_pr64953.pass.cpp | ||
| catch_pointer_nullptr.pass.cpp | ||
| catch_pointer_reference.pass.cpp | ||
| catch_ptr_02.pass.cpp | ||
| catch_ptr.pass.cpp | ||
| catch_reference_nullptr.pass.cpp | ||
| CMakeLists.txt | ||
| cxa_bad_cast.pass.cpp | ||
| cxa_bad_typeid.pass.cpp | ||
| cxa_thread_atexit_test.pass.cpp | ||
| cxa_vec_new_overflow_PR41395.pass.cpp | ||
| dynamic_cast3.pass.cpp | ||
| dynamic_cast5.pass.cpp | ||
| dynamic_cast14.pass.cpp | ||
| dynamic_cast.pass.cpp | ||
| exception_object_alignment.2.pass.cpp | ||
| exception_object_alignment.pass.cpp | ||
| forced_unwind1.pass.cpp | ||
| forced_unwind2.pass.cpp | ||
| forced_unwind3.pass.cpp | ||
| forced_unwind4.pass.cpp | ||
| guard_test_basic.pass.cpp | ||
| guard_threaded_test.pass.cpp | ||
| incomplete_type.sh.cpp | ||
| inherited_exception.pass.cpp | ||
| lit.cfg.py | ||
| noexception1.pass.cpp | ||
| noexception2.pass.cpp | ||
| noexception3.pass.cpp | ||
| noexception4.pass.cpp | ||
| test_aux_runtime_op_array_new.pass.cpp | ||
| test_aux_runtime.pass.cpp | ||
| test_demangle.pass.cpp | ||
| test_exception_address_alignment.pass.cpp | ||
| test_exception_storage.pass.cpp | ||
| test_exception_storage.threads.pass.cpp | ||
| test_fallback_malloc.pass.cpp | ||
| test_guard.pass.cpp | ||
| test_vector1.pass.cpp | ||
| test_vector2.pass.cpp | ||
| test_vector3.pass.cpp | ||
| thread_local_destruction_order.pass.cpp | ||
| uncaught_exception.pass.cpp | ||
| uncaught_exceptions.pass.cpp | ||
| unittest_demangle.pass.cpp | ||
| unwind_01.pass.cpp | ||
| unwind_02.pass.cpp | ||
| unwind_03.pass.cpp | ||
| unwind_04.pass.cpp | ||
| unwind_05.pass.cpp | ||
| unwind_06.pass.cpp | ||