[armedbear-ticket] [armedbear] #258: Compiler bug in call to MAX

[armedbear]

#258: Compiler bug in call to MAX
----------------------+-----------------------------------------------------
 Reporter:  mevenson  |       Owner:  ehuelsmann
     Type:  defect    |      Status:  new       
 Priority:  major     |   Milestone:  1.1.0     
Component:  compiler  |     Version:  1.1.0-dev 
 Keywords:            |  
----------------------+-----------------------------------------------------
 Eric Marsten reports in
 http://article.gmane.org/gmane.lisp.armedbear.devel/2611:

 The following illustrates what looks like a bug in the compiler's
 handling of type propagation (bug disappears without the type
 declaration).

 {{{
 CL-USER(25): (lisp-implementation-version)
 "1.1.0-dev-svn-14222M"
 "OpenJDK_64-Bit_Server_VM-Oracle_Corporation-1.7.0_03-b21)"
 "amd64-Linux-3.3.0-trunk-amd64)"
 CL-USER(26): (defun foo (a b)
               (declare (type (integer * 6488318769) b))
               (max 1 (the (integer * 5711538578) a) b 2 1351352470))
 FOO
 CL-USER(27): (foo 5711538444 6488318765)
 6488318765
 CL-USER(28): (compile 'foo)
 FOO
 NIL
 NIL
 CL-USER(29): (foo 5711538444 6488318765)
 1351352470
 }}}

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