[cxx-abi-dev] comparing type_infos (was Re: Patch for throw/catch problems)

[Tom Tromey]

>>>>> "Jason" == Jason Merrill <jason_merrill at redhat.com> writes:

>>>>> "Jakub" == Jakub Jelinek <jakub at redhat.com> writes:

>> But the precondition for this would be that no C++ program can ever
>> read method pointers from virtual tables and compare them for
>> equality.

Jason> That's OK; there is no way for a conformant C++ program to get
Jason> a function pointer out of the vtable.

libgcj reads the Object vtable.  That's because it has to create array
classes at runtime, and so it has to make the newly created vtable as
a copy of the Object vtable.  Maybe there's some other way to
implement this though.

Tom