Re: gcc 4.2 more strict check for "function called through a non-compatible type"

[Andrew Haley <aph at redhat dot com>]

Mark Mitchell writes:
 > 
 > I also agree with Gaby that we should document this as an extension.  If
 > we go to the work of putting it back in, we should ensure that it
 > continues to work for the foreseeable future.  Part of that is writing
 > down what we've decided.

We can't make function pointer type casts work in the general case, as
we know; all we can promise to do is make our best effort.  How can we
document that?  

I suppose we could say that it should work as long as the types of the
parameters of the two functions are compatible, but not otherwise.

Andrew.