Commit [ded09c] Maximize Restore History

Insert error traps after full calls inferred not to return

An explicit error trap after full calls to known functions helps
understand type derivation errors at runtime; it's certainly better
than executing arbitrary bytes.

Only do this when the return type was tightened to NIL via type
derivation; if a function is defknowned not to return, it really
shouldn't.

Paul Khuong Paul Khuong 2013-06-08

changed src/compiler/ir2tran.lisp
src/compiler/ir2tran.lisp Diff Switch to side-by-side view
Loading...