https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79687
--- Comment #16 from Volker Reichelt <reichelt at gcc dot gnu.org> --- According to [expr.mptr.oper] the code in comment 15 has undefined behavior, because the second operand of ->* is the null-pointer-to-member-value.
