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();	// B::X() is called!! so the E object is clearly here still an instance of a B! W.T.F?
	}
}