https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83584
--- Comment #18 from Keith Thompson <Keith.S.Thompson at gmail dot com> --- Something I probably should have noticed earlier: Why was this bug closed as a duplicate of bug 11234? Bug 11234 complains that conversions between function pointer and void* are accepted. This bug is exactly the opposite, complaining that they're rejected. If the resolution of #11234 were valid, then this bug would be invalid, not a duplicate. (I've already stated my opinion.)