From 70adc28e9798abede5dd8c137c1543b46af6eacc Mon Sep 17 00:00:00 2001 From: Andrea Corallo Date: Tue, 13 Apr 2021 10:38:00 +0200 Subject: [PATCH] * 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 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) -- 2.39.2