PointerRecord::vtable is a const void* const*, so vtable[4] is a const
void*. clang refuses reinterpret_cast from it to a function pointer
(casts away qualifiers), which stopped GuestBadOptionalAccess.cpp from
compiling on macOS; GCC accepts it. The cast now goes through
const_cast<void*>.
Completes libc's cxxabiv1 data surface relative to the aerolib export
list: the five missing category vtables (__shim, __enum, __array,
__pbase, __pointer_to_member), _ZTISt9type_info plus the eleven
_ZTIN10__cxxabiv1* records forming the real single-inheritance chain
down to std::type_info, and the fifty _ZTIP/_ZTIPK builtin pointer
records whose pointees are the fundamental records.
Every category vtable's typeinfo slot now addresses its exported _ZTIN
record instead of a host type_info, so typeid of a guest typeinfo
object resolves to the canonical symbol.
Generated with [Devin](https://devin.ai)
Co-Authored-By: Devin <158243242+devin-ai-integration[bot]@users.noreply.github.com>
Include the canonical libc Api.hpp (which also provides the
exceptions/Runtime.hpp cxa declarations) instead of test-local export
declarations: the bad_optional_access ctor/dtor take
LibcException::ExceptionObject*, __cxa_throw takes std::type_info*, and
__cxa_current_exception_type returns std::type_info*. The exported
records are declared as std::type_info / __cxxabiv1::__si_class_type_info
matching their TypeRecord/FundamentalTypeRecord layout, and the
catch-type callback uses the production
bool(const std::type_info*, const std::type_info*, void**, unsigned)
signature from TypeInfo.cpp.
Cover the new _ZTI records the way a guest catch would: the vtable
address point, the fundamental-type kind reachable through vtable[-1],
__do_catch matching and non-matching pairs, and a throw of int through
__cxa_throw that a host catch resolves back to _ZTIi.
Generated with [Devin](https://devin.ai)
Co-Authored-By: Devin <158243242+devin-ai-integration[bot]@users.noreply.github.com>
Emanuele