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