X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Fgtn.lisp;h=4a3352f6ef173aba8ef0e8ceae2b16e8c7ec0e9b;hb=df679ed627975948b1cee190f4d79c397588c43e;hp=0aa7f2bfac4f889c85bde5e326f8bd8f7011706d;hpb=b05f52060838600d14b5d8ad4604a61351dd7017;p=sbcl.git diff --git a/src/compiler/gtn.lisp b/src/compiler/gtn.lisp index 0aa7f2b..4a3352f 100644 --- a/src/compiler/gtn.lisp +++ b/src/compiler/gtn.lisp @@ -167,7 +167,8 @@ (multiple-value-bind (types count) (values-types (tail-set-type tails)) (let ((ptypes (mapcar #'primitive-type types)) (use-standard (use-standard-returns tails))) - (when (and (eq count :unknown) (not use-standard)) + (when (and (eq count :unknown) (not use-standard) + (not (eq (tail-set-type tails) *empty-type*))) (return-value-efficiency-note tails)) (if (or (eq count :unknown) use-standard) (make-return-info :kind :unknown