On Tue, May 05, 2015 at 01:49:55PM +0100, Richard Earnshaw wrote:
> The real question here is why is TYPE the type of the value, rather than
> the type of the formal as expressed by the prototype (or implicit
> prototype in the case of variadics or K&R)? Surely this is the mid-end
> passing the wrong information to the back-end.
There is nothing else for unnamed arguments (K&R, stdarg).
For named arguments, the backend has the option to save the fntype in
CUMULATIVE_ARGS and look it up when it needs that. But, that will
still mean K&R and stdarg will be just broken on arm.
Jakub
