From 6b10de86b4b4235aa5c74eb4db4b31d0b4e02ddf Mon Sep 17 00:00:00 2001
From: ram <ram>
Date: Fri, 20 Dec 1991 20:47:56 +0000
Subject: [PATCH] Do inconsistent derived type warning only when
 *CHECK-CONSISTENCY* is T.  It seems that we do derive inconsistent types in
 dead code.

---
 compiler/ir1opt.lisp | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/compiler/ir1opt.lisp b/compiler/ir1opt.lisp
index 915ea05cd..11a9e14b2 100644
--- a/compiler/ir1opt.lisp
+++ b/compiler/ir1opt.lisp
@@ -7,7 +7,7 @@
 ;;; Scott Fahlman or slisp-group@cs.cmu.edu.
 ;;;
 (ext:file-comment
-  "$Header: /Volumes/share2/src/cmucl/cvs2git/cvsroot/src/compiler/ir1opt.lisp,v 1.37 1991/12/16 10:09:10 wlott Exp $")
+  "$Header: /Volumes/share2/src/cmucl/cvs2git/cvsroot/src/compiler/ir1opt.lisp,v 1.38 1991/12/20 20:47:56 ram Exp $")
 ;;;
 ;;; **********************************************************************
 ;;;
@@ -190,7 +190,8 @@
     (unless (eq node-type rtype)
       (let ((int (values-type-intersection node-type rtype)))
 	(when (type/= node-type int)
-	  (when (and (eq int *empty-type*)
+	  (when (and *check-consistency*
+		     (eq int *empty-type*)
 		     (not (eq rtype *empty-type*)))
 	    (let ((*compiler-error-context* node))
 	      (compiler-warning
-- 
GitLab