Commit [e119a2] Maximize Restore History

1.0.15.36: fix bug 423

* TRULY-THE no longer eagerly annotates the LVAR, but rather acts
like THE in unsafe code. (Inserts a cast for which no type-check is
generated.)

* ALLOC-NUMBER-STACK-SPACE and ALLOC-ALIEN-STACK-SPACE were missing
:RESULT-TYPES, which was masked by the old TRULY-THE
implementation. (Tested on x86, x86-64, PPC, but all backends
updated -- hopefully correctly.)

* Docstrings for THE and TRULY-THE.

FWIW, this patch seems to make PPC+GENCGC build happy once again: but
I don't know if that means the problems there were/are related to bug
423 -- or if the exact memory layout just happens to change subtly so
that whatever corruption occurs, just happens to occur in a place
where the GC doesn't see it anymore. (Or if the exact point at which
GC runs is now just slightly different so that the problem pointers
are not live anymore, or...)

Nikodemus Siivola Nikodemus Siivola 2008-03-17

changed BUGS
changed NEWS
changed contrib
changed contrib/sb-introspect
changed contrib/sb-introspect/test-driver.lisp
changed src
changed src/compiler
changed src/compiler/alpha
changed src/compiler/alpha/c-call.lisp
changed src/compiler/hppa
changed src/compiler/hppa/c-call.lisp
changed src/compiler/ir1-translators.lisp
changed src/compiler/mips
changed src/compiler/mips/c-call.lisp
changed src/compiler/ppc
changed src/compiler/ppc/c-call.lisp
changed src/compiler/sparc
changed src/compiler/sparc/c-call.lisp
changed src/compiler/x86
changed src/compiler/x86-64
changed src/compiler/x86-64/c-call.lisp
changed src/compiler/x86/c-call.lisp
changed tests
changed tests/compiler.pure.lisp
changed version.lisp-expr
BUGS Diff Switch to side-by-side view
Loading...
NEWS Diff Switch to side-by-side view
Loading...
contrib
Directory.
contrib/sb-introspect/test-driver.lisp Diff Switch to side-by-side view
Loading...
src
Directory.
src/compiler
Directory.
src/compiler/alpha
Directory.
src/compiler/alpha/c-call.lisp Diff Switch to side-by-side view
Loading...
src/compiler/hppa
Directory.
src/compiler/hppa/c-call.lisp Diff Switch to side-by-side view
Loading...
src/compiler/ir1-translators.lisp Diff Switch to side-by-side view
Loading...
src/compiler/mips
Directory.
src/compiler/mips/c-call.lisp Diff Switch to side-by-side view
Loading...
src/compiler/ppc
Directory.
src/compiler/ppc/c-call.lisp Diff Switch to side-by-side view
Loading...
src/compiler/sparc
Directory.
src/compiler/sparc/c-call.lisp Diff Switch to side-by-side view
Loading...
src/compiler/x86
Directory.
src/compiler/x86-64
Directory.
src/compiler/x86-64/c-call.lisp Diff Switch to side-by-side view
Loading...
src/compiler/x86/c-call.lisp Diff Switch to side-by-side view
Loading...
tests
Directory.
tests/compiler.pure.lisp Diff Switch to side-by-side view
Loading...
version.lisp-expr Diff Switch to side-by-side view
Loading...