On Saturday 24 February 2018 12:01 AM, Richard Biener wrote:
> I don't see how the function cast is valid.
> I've argued for void (*) () to/from void (*) (int), etc. In the past and that
> was shot down similarly. This looks like exactly the same thing.
That should not throw a warning because void (*) (void) is used as a
wildcard to match all functions. My understanding from the discussions
around the patch implementation was that these are heuristics and are
not meant to catch all cases anyway. In such a scenario it might be
prudent to avoid breaking behaviour that many programs seem to assume.