Opened 13 years ago

Closed 8 years ago

#258 closed defect (fixed)

Compiler bug in call to MAX

Reported by: Mark Evenson 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

Change History (9)

comment:1 Changed 12 years ago by Mark Evenson

Milestone: 1.1.0 → 1.1.1

comment:2 Changed 12 years ago by Mark Evenson

Milestone: 1.1.1 → 1.2.0
Version: 1.1.0-dev → 1.1.0

comment:3 Changed 12 years ago by Evenson Not Org

Priority: major → critical

comment:4 Changed 12 years ago by Evenson Not Org

Milestone: 1.2.0 → 1.3.0

comment:5 Changed 11 years ago by Mark Evenson

Milestone: 1.3.0 → 2.0

Ticket retargeted after milestone closed

comment:6 Changed 11 years ago by Mark Evenson

Milestone: 2.0 → 2.0.0

Milestone renamed

comment:7 Changed 11 years ago by Mark Evenson

Milestone: 2.0.0 → 1.4.0

comment:8 Changed 9 years ago by Mark Evenson

Milestone: 1.4.0 → 1.5.0

Ticket retargeted after milestone closed

comment:9 Changed 8 years ago by Mark Evenson

Resolution: → fixed
Status: new → closed

Fixed in r15037 via <​https://github.com/Ferada/abcl/commit/013fb56d5c5fc4d4837ffc4c67e9909db56cbabf> (Olof).

Note: See TracTickets for help on using tickets.