From: Andrea Corallo <akrl@sdf.org>
Date: Tue, 13 Apr 2021 08:38:00 +0000 (+0200)
Subject: * lisp/emacs-lisp/comp-cstr.el (comp-cstr-union-1-no-mem): (not null) => t.
X-Git-Tag: emacs-28.0.90~2727^2~23
X-Git-Url: http://git.eshelyaron.com/gitweb/?a=commitdiff_plain;h=70adc28e9798abede5dd8c137c1543b46af6eacc;p=emacs.git

* lisp/emacs-lisp/comp-cstr.el (comp-cstr-union-1-no-mem): (not null) => t.
---

diff --git a/lisp/emacs-lisp/comp-cstr.el b/lisp/emacs-lisp/comp-cstr.el
index b2d34af66b4..5b189e70bef 100644
--- a/lisp/emacs-lisp/comp-cstr.el
+++ b/lisp/emacs-lisp/comp-cstr.el
@@ -631,7 +631,15 @@ DST is returned."
               (setf (typeset dst) (typeset neg)
                     (valset dst) (valset neg)
                     (range dst) (range neg)
-                    (neg dst) (neg neg))))))
+                    (neg dst) (neg neg)))))
+
+        ;; (not null) => t
+        (when (and (neg dst)
+                   (null (typeset dst))
+                   (null (valset dst))
+                   (null (range dst)))
+          (give-up)))
+
       dst)))
 
 (defun comp-cstr-union-1 (range dst &rest srcs)