X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Fconstraint.lisp;h=a3022458c77e374e4d329ea5bd364fffd62aeac9;hb=d40a76606c86722b0aef8179155f9f2840739b72;hp=c4c97557c7a82f56db4eb57b2855d07f62902efb;hpb=416152f084604094445a758ff399871132dff2bd;p=sbcl.git diff --git a/src/compiler/constraint.lisp b/src/compiler/constraint.lisp index c4c9755..a302245 100644 --- a/src/compiler/constraint.lisp +++ b/src/compiler/constraint.lisp @@ -126,7 +126,7 @@ (add-complement-constraints if 'typep (ok-ref-lambda-var use) (specifier-type 'null) t)) (combination - (let ((name (continuation-function-name + (let ((name (continuation-fun-name (basic-combination-fun use))) (args (basic-combination-args use))) (case name @@ -443,7 +443,7 @@ ;;; Our OUT is: ;;; out U (in - kill) ;;; -;;; BLOCK-KILL-LIST is just a list of the lambda-vars killed, so we must +;;; BLOCK-KILL-LIST is just a list of the LAMBDA-VARs killed, so we must ;;; compute the kill set when there are any vars killed. We bum this a ;;; bit by special-casing when only one var is killed, and just using ;;; that var's constraints as the kill set. This set could possibly be @@ -458,7 +458,7 @@ res)) (t (let ((*compiler-error-context* (block-last block))) - (compiler-warning + (compiler-warn "unreachable code in constraint ~ propagation -- apparent compiler bug")) (make-sset))))