[expr.static.cast]/12 specifies "undefined result" instead of undefined behaviour

[sdutoit]

Currently says:

"If class B contains the original member, or is a base or derived class of the class containing the original member, the resulting pointer to member points to the original member. Otherwise, the result of the cast is undefined."