1.0.15.36: fix bug 423
commite119a2f79cf36039a39996f5490934b4d927529a
authorNikodemus Siivola <nikodemus@random-state.net>
Mon, 17 Mar 2008 17:13:40 +0000 (17 17:13 +0000)
committerNikodemus Siivola <nikodemus@random-state.net>
Mon, 17 Mar 2008 17:13:40 +0000 (17 17:13 +0000)
tree1af51c50df7906809cbb61871109499183f013bc
parentafb24f64fe95ed8ebce578ba7526b8a0a7aa5f14
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...)
13 files changed:
BUGS
NEWS
contrib/sb-introspect/test-driver.lisp
src/compiler/alpha/c-call.lisp
src/compiler/hppa/c-call.lisp
src/compiler/ir1-translators.lisp
src/compiler/mips/c-call.lisp
src/compiler/ppc/c-call.lisp
src/compiler/sparc/c-call.lisp
src/compiler/x86-64/c-call.lisp
src/compiler/x86/c-call.lisp
tests/compiler.pure.lisp
version.lisp-expr