Code Bucket …

struct A { virtual void X() { } };
struct B : A { void X() { } };

int main(int argc, char **argv)
{
	try
	{
		try
		{
			throw B();
		}
		catch (A &E)
		{
			E.X(); // B::X() is called. as i would expect.
			throw E;
		}
	}
	catch (A &E)
	{
		E.X();
	}
}