
Hi David, On Fri, Jan 15, 2016 at 2:28 PM, David Edelsohn <dje.gcc@gmail.com> wrote:
In more details: my point of view is that libffi is *documented* to return the value 0x000000000000097a, but instead it returns 0xdeadbeefdead097a.
libffi is *documented* to return the non sign-extended value.
Ok. I think my confusion came from the fact that we have to tell ffi whether values are signed or unsigned. As far as I can tell, this would be only useful in order to sign- or zero-extend the result value, if it did. (The docs included with libffi-3.2.1.tar.gz don't seem to say anything about that, which would make us both wrong---this specific behavior is not documented at all. I may be missing a point; please correct me in that case.) A bientôt, Armin.