Custom Query (1030 matches)

If the image loader can't load an image at its preferred address (presumably because of mmap limitations or something like that), a function named 'relocate_area_contents' is supposed to walk all pointer-bearing areas, adjusting the pointers it finds there by the difference ('bias') between the expected image address and the actual address. I don't know the details, but this doesn't seem to work yet on x8632. (For a long time, it didn't work right on x8664: the code there didn't handle embedded pointers in function objects correctly.)

(let ((a t) (b t))

(setf (values (values a b)) (values 1 2)) (list a b))

should return (1 NIL), but returns (1 2).

Looks like this was introduced by modifying original cmucl sources, putting removed parts back does fix it. Attached patch does this.

The following transcript may indicate some sort of a bug in the latest CCL compiler's determination of the number of return values.

I can't get ACL2 to rebuild with the newest compiler, probably because of some such issue. The workhorse function FMT0 of ACL2 is sometimes returning one value instead of two values.

But I get one sort of bug building at SAFETY=3 and another sort of bug running at SAFETY=0, after a presumably bogus build at SAFETY=0. Hurray for SAFETY=3.

Thanks,

ccl -n
Welcome to Clozure Common Lisp Version 1.4-dev-r12577M-trunk  (LinuxX8664)!
? (proclaim '(optimize (safety 0)))
NIL
? (defun bar ()
  (the (values (signed-byte 30) t)
    (values (the (signed-byte 30) 1) 2)))
BAR
? (bar)
1
2
? (proclaim '(optimize (safety 3)))
NIL
? (defun bar ()
  (the (values (signed-byte 30) t)
    (values (the (signed-byte 30) 1) 2)))
BAR
? (bar)
1
? 

Bob