cast in gdb python results in virtual baseclass botch

[Tom Tromey]

>>>>> "Christoph" == Christoph Mathys <eraserix@gmail.com> writes:

Christoph> RuntimeError: virtual baseclass botch

Christoph> I use gdb 7.2, which apparently does not yet support dynamic_cast().

Christoph> Both variables are stored inside a boost::shared_ptr, and I try to
Christoph> cast to contained interface pointer to a specific implementation
Christoph> pointer.

Can you make a small, self-contained example program showing the bug?
That would be very helpful.

I am not sure under what circumstances "virtual baseclass botch" can
show up.  The code is obscure.

Tom