https://gcc.gnu.org/bugzilla/show_bug.cgi?id=58407
--- Comment #22 from Steinar H. Gunderson <steinar+gcc at gunderson dot no> --- C.67 would seem only to apply to non-abstract base classes, no? The code doesn't compile if B has pure virtual member functions. (Well, it doesn't compile as-is already, but change (d) to (*d) and it does.)