[armedbear-devel] BUG: invalid treatment of UNSIGNED-BYTE type specifiers

[Mark Evenson]

On Nov 9, 2011, at 21:33 , Eric Marsden wrote:

> Hi,
> 
> The following code seems to be miscompiled (works fine with an INTEGER type declaration).
> 
> 
> CL-USER(23): (lisp-implementation-version)
> "1.1.0-dev-svn-13695M"
> CL-USER(24): (compile nil (lambda (a)
>                            (declare (type unsigned-byte a))
>                            (max 28105919 a 1016934843)))
> #<FUNCTION (LAMBDA (A)) {2D53EAFD}>
> NIL
> NIL
> CL-USER(25): (funcall * 10545160975)
> 1955226383

Filed as [ticket #198][1].  Should make [triage for upcoming abcl-1.0.1 in 12 days][2].

Thanks for the bug report,
Mark


[1]: http://trac.common-lisp.net/armedbear/ticket/189
[2]: http://goo.gl/87rSy