Commit [4af56c] Maximize Restore History

1.0.28.2: fix bug 201, Incautious type inference from compound types

* Define LVAR-CONSERVATIVE-TYPE &co, which take into accound that a
function call can change the type of a cons or a non-simple array
without changing it's identity. Use this instead of LVAR-TYPE in
derive-type optimizers for CAR and CDR, and in the ARRAY-DIMENSIONS
transform. (There may be other places where it should be used as
well, but I could not find anything else just now.)

Nikodemus Siivola Nikodemus Siivola 2009-05-01

changed src/compiler/array-tran.lisp
changed src/compiler/ir1opt.lisp
changed src/compiler/seqtran.lisp
changed tests/compiler.pure.lisp
changed BUGS
changed NEWS
changed version.lisp-expr
src/compiler/array-tran.lisp Diff Switch to side-by-side view
Loading...
src/compiler/ir1opt.lisp Diff Switch to side-by-side view
Loading...
src/compiler/seqtran.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...