Opened 7 years ago

Closed 2 years ago

#258 closed defect (fixed)

Compiler bug in call to MAX

Reported by: Evenson Not Org Owned by: ehuelsmann
Priority: critical Milestone: 1.5.0
Component: compiler Version: 1.1.0
Keywords: Cc:
Parent Tickets:

Description

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

Subtickets

Change History (9)

comment:1 Changed 7 years ago by Evenson Not Org

Milestone: 1.1.01.1.1

comment:2 Changed 7 years ago by Evenson Not Org

Milestone: 1.1.11.2.0
Version: 1.1.0-dev1.1.0

comment:3 Changed 6 years ago by Evenson Not Org

Priority: majorcritical

comment:4 Changed 6 years ago by Evenson Not Org

Milestone: 1.2.01.3.0

comment:5 Changed 6 years ago by Evenson Not Org

Milestone: 1.3.02.0

Ticket retargeted after milestone closed

comment:6 Changed 6 years ago by Evenson Not Org

Milestone: 2.02.0.0

Milestone renamed

comment:7 Changed 6 years ago by Evenson Not Org

Milestone: 2.0.01.4.0

comment:8 Changed 3 years ago by Evenson Not Org

Milestone: 1.4.01.5.0

Ticket retargeted after milestone closed

comment:9 Changed 2 years ago by Evenson Not Org

Resolution: fixed
Status: newclosed
Note: See TracTickets for help on using tickets.