[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
feature/native-comp 70adc28 2/4: * lisp/emacs-lisp/comp-cstr.el (comp-cs
From: |
Andrea Corallo |
Subject: |
feature/native-comp 70adc28 2/4: * lisp/emacs-lisp/comp-cstr.el (comp-cstr-union-1-no-mem): (not null) => t. |
Date: |
Tue, 13 Apr 2021 06:11:48 -0400 (EDT) |
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)