feature/native-comp 70adc28 2/4: * lisp/emacs-lisp/comp-cstr.el (comp-cstr-union-1-no-mem): (not null) => t.

[Andrea Corallo]

branch: feature/native-comp
commit 70adc28e9798abede5dd8c137c1543b46af6eacc
Author: Andrea Corallo <akrl@sdf.org>
Commit: Andrea Corallo <akrl@sdf.org>

    * lisp/emacs-lisp/comp-cstr.el (comp-cstr-union-1-no-mem): (not null) => t.
---
 lisp/emacs-lisp/comp-cstr.el | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/lisp/emacs-lisp/comp-cstr.el b/lisp/emacs-lisp/comp-cstr.el
index b2d34af..5b189e7 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)