From: Josip G. <gr...@te...> - 2007-07-11 08:26:19
|
Hello! I couldn't isolate the bug, but it seems that using (proclaim '(optimize (space 0) (debug 3))) causes "Unhandled memory faults at 0x5B". I suspect the problem is in (space 0) because in various other combinations of optimizations without (space 0), everything works fine. The bug is 100% reproducible on my system by doing, for example: % cd .sbcl % find . -name \*.fasl | xargs rm % sbcl --eval "(asdf:oos 'asdf:load-op 'arnesi)" with .sbclrc containing only: ;====================================================== (proclaim '(optimize (debug 3) (space 0))) (require 'asdf-install) (require 'sb-introspect) (require 'asdf) ;====================================================== Happens with SBCL 1.0.7.13, 1.0.6.46, on Linux Ubuntu kernel 2.6.20, 32-bit. Could somebody please try/confirm it, to make sure the problem is in SBCL and not somewhere else on my system. |
From: Nikodemus S. <nik...@ra...> - 2007-07-11 16:11:29
|
Josip Gracin wrote: > Hello! > > I couldn't isolate the bug, but it seems that using > > (proclaim '(optimize (space 0) (debug 3))) > > causes "Unhandled memory faults at 0x5B". I suspect the problem is in > (space 0) because in various other combinations of optimizations without > (space 0), everything works fine. Many thanks for the report! This seems to be an SBCL compiler bug. The reduced test-case is: (eval '(locally (declare (optimize (debug 2) (space 0))) (let ((fun (lambda (body) (append (first body) nil)))) (funcall fun '((foo (bar))))))) Cheers, -- Nikodemus |
From: Nikodemus S. <nsi...@it...> - 2007-07-19 13:52:49
|
Nikodemus Siivola wrote: > Josip Gracin wrote: >> Hello! >> >> I couldn't isolate the bug, but it seems that using >> >> (proclaim '(optimize (space 0) (debug 3))) >> >> causes "Unhandled memory faults at 0x5B". I suspect the problem is in >> (space 0) because in various other combinations of optimizations without >> (space 0), everything works fine. > > Many thanks for the report! This seems to be an SBCL compiler bug. > > The reduced test-case is: > > (eval '(locally (declare (optimize (debug 2) (space 0))) > (let ((fun (lambda (body) > (append > (first body) > nil)))) > (funcall fun > '((foo (bar))))))) This bug has been papered over in SBCL 1.0.7.31. Cheersm -- Nikodemus |