Home / Browse / Steel Bank Common Lisp / Mail / Archive

Steel Bank Common Lisp

Email Archive: sbcl-help (read-only)

[Sbcl-help] Problem with (space 0) optimization

From: Josip Gracin <gracin@te...> - 2007-07-11 08:26

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.

Thread View

Thread	Author	Date
[Sbcl-help] Problem with (space 0) optimization	Josip Gracin <gracin@te...>

Re: [Sbcl-help] Problem with (space 0) optimization

From: Nikodemus Siivola <nikodemus@ra...> - 2007-07-11 16:11

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

Re: [Sbcl-help] Problem with (space 0) optimization

From: Nikodemus Siivola <nsiivola@it...> - 2007-07-19 13:52

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