[armedbear-ticket] [armedbear] #189: Compiler fails for 'unsigned-byte type declaration

18 Nov 2011

      #189: Compiler fails for 'unsigned-byte type declaration
--------------------------------+-------------------------------------------
 Reporter:  mevenson            |       Owner:  ehuelsmann
     Type:  defect              |      Status:  new       
 Priority:  minor               |   Milestone:  1.0.1     
Component:  compiler            |     Version:  1.0       
 Keywords:  compiler, has-test  |  
--------------------------------+-------------------------------------------
 From [http://article.gmane.org/gmane.lisp.armedbear.devel/2122 On
 <armedbear-devel@…>, Eric Marsden reports]:

 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)

-- 
Ticket URL: <http://trac.common-lisp.net/armedbear/ticket/189>
armedbear <http://common-lisp.net/project/armedbear>
armedbear