Opened 7 years ago

Closed 4 years ago

#453 closed defect (fixed)

Compiler failure with stack inconsistency

Reported by: Mark Evenson Owned by:
Priority: major Milestone: 1.8.0
Component: compiler Version:
Keywords: Cc:
Parent Tickets:

Description

Paul Dietz reports in <​https://mailman.common-lisp.net/pipermail/armedbear-devel/2017-October/003884.html>

(defparameter *abcl1*
  '(lambda (a)
    (declare (optimize (debug 0) (compilation-speed 1)
              (speed 2) (space 3) (safety 1)))
    (ash 0
     (bit #*0100
      (catch 'ct7 a)))))

(defun test1 ()
  (let ((fn (compile nil *abcl1*)))
    (mapcar fn '(0 1 2 3))))

(test1) ==>

; Caught ERROR:
;   Stack inconsistency detected in <unknown> at index 40: found 2, expected 0.

c.f. <​https://github.com/armedbear/abcl/issues/69>

Change History (7)

comment:1 Changed 5 years ago by Mark Evenson

Milestone: 1.6.0 → 1.6.1

Ticket retargeted after milestone closed

comment:2 Changed 5 years ago by Mark Evenson

Milestone: 1.6.1 → 1.6.2

Ticket retargeted after milestone closed

comment:3 Changed 4 years ago by Mark Evenson

Milestone: 1.6.2 → 1.7.0

comment:4 Changed 4 years ago by Mark Evenson

Milestone: 1.7.0 → 1.7.1

Ticket retargeted after milestone closed

comment:5 Changed 4 years ago by Mark Evenson

Milestone: 1.7.1 → 1.7.2

Ticket retargeted after milestone closed

comment:6 Changed 4 years ago by Mark Evenson

Milestone: 1.7.2 → 1.8.0

Milestone renamed

comment:7 Changed 4 years ago by Mark Evenson

Resolution: → fixed
Status: new → closed
Note: See TracTickets for help on using tickets.