close Warning: Can't synchronize with repository "(default)" ("(default)" is not readable or not a Git repository.). Look in the Trac log for more information.

Opened 15 years ago

Closed 15 years ago

#27 closed defect (fixed)

Trace bug on Darwin/x86

Reported by: Raymond Toy Owned by: Raymond Toy
Priority: major Milestone:
Component: Core Version: 2008-11
Keywords: Cc:

Description

This bit of code causes a bug in tracing on Darwin/x86: 

(defun call-fact-acc (x)
  (let ((r (multiple-value-list (fact-acc x))))
    (values-list r)))

(defun fact-acc (x)
  (labels ((f (x accum)
             (if (zerop x)
                 accum
                 (f (1- x) (* x accum)))))
    (f x 1)))

(trace fact-acc)

Then (call-fact-acc 4) causes a segfault and you can't even get back to the repl.

This bug is fixed in CVS, but I'm recording this simple test case here.

Change History (1)

comment:1 Changed 15 years ago by Raymond Toy

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