Opened 5 years ago

Closed 6 months ago

#258 closed defect (fixed)

Compiler bug in call to MAX

Reported by: mevenson 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 5 years ago by mevenson

  • Milestone changed from 1.1.0 to 1.1.1

comment:2 Changed 5 years ago by mevenson

  • Milestone changed from 1.1.1 to 1.2.0
  • Version changed from 1.1.0-dev to 1.1.0

comment:3 Changed 5 years ago by https://www.google.com/accounts/o8/id?id=AItOawkYnNNEAO_K40Gp0xROhyjOPgjvIskQ48M

  • Priority changed from major to critical

comment:4 Changed 4 years ago by https://www.google.com/accounts/o8/id?id=AItOawkYnNNEAO_K40Gp0xROhyjOPgjvIskQ48M

  • Milestone changed from 1.2.0 to 1.3.0

comment:5 Changed 4 years ago by mevenson

  • Milestone changed from 1.3.0 to 2.0

Ticket retargeted after milestone closed

comment:6 Changed 4 years ago by mevenson

  • Milestone changed from 2.0 to 2.0.0

Milestone renamed

comment:7 Changed 4 years ago by mevenson

  • Milestone changed from 2.0.0 to 1.4.0

comment:8 Changed 14 months ago by mevenson

  • Milestone changed from 1.4.0 to 1.5.0

Ticket retargeted after milestone closed

comment:9 Changed 6 months ago by mevenson

  • Resolution set to fixed
  • Status changed from new to closed
Note: See TracTickets for help on using tickets.