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

[Eric Marsden]

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

(From ansi-test/random suite)

-- 
Eric