Improve efficiency of DO-REST-ARG and make some warnings disappear.
commita4393e3ddd0e6e7ab814ed7b6f8481b9442a7f66
authorDouglas Katzman <dougk@google.com>
Mon, 22 Dec 2014 00:19:28 +0000 (21 19:19 -0500)
committerDouglas Katzman <dougk@google.com>
Mon, 22 Dec 2014 00:22:56 +0000 (21 19:22 -0500)
tree05592a6f4b49e411b0ca0418133001147b230bcf
parent3a6892b761d0549e95b964661eb627ef31cf8674
Improve efficiency of DO-REST-ARG and make some warnings disappear.

Warnings resulted from "certainty" that one branch of an IF led to
a type violation error despite being dead code.
pvk said this would be difficult to handle in constraint propagation,
so the current patch forces the issue.
src/code/numbers.lisp
src/code/sysmacs.lisp
src/compiler/fndb.lisp
src/compiler/srctran.lisp