Jean-Claude@equinox> sbcl --load sbcl_widening.lisp
On Tue, Mar 24, 2009 at 5:15 AM, Juho Snellman <firstname.lastname@example.org>
I believe this was fixed in 188.8.131.52.
Jean-Claude Beaudoin <email@example.com
> SBCL will fail to recover the proper return value if the returning
> function leaves some "dirty" bits in the (irrelevant?) upper part of
> the %eax register.
Indeed the change you point to has fixed the "signed" case and sign extension is now done properly but the "unsigned" types still have a problem, these unsigned types would need zero extension as GCC does. Here is what I get if I run my test code with 1.0.25 on Linux/x86 (Fedora 10).