diff options
| author | Andrea Corallo <akrl@sdf.org> | 2021-04-13 10:38:00 +0200 |
|---|---|---|
| committer | Andrea Corallo <akrl@sdf.org> | 2021-04-13 12:05:33 +0200 |
| commit | 70adc28e9798abede5dd8c137c1543b46af6eacc (patch) | |
| tree | a600253c011c42045c9ce508e5a76341aae42d29 /lisp/emacs-lisp | |
| parent | 3062480309b0d3bd66370265ed1a1dc79b6edeed (diff) | |
| download | emacs-70adc28e9798abede5dd8c137c1543b46af6eacc.tar.gz emacs-70adc28e9798abede5dd8c137c1543b46af6eacc.tar.bz2 emacs-70adc28e9798abede5dd8c137c1543b46af6eacc.zip | |
* lisp/emacs-lisp/comp-cstr.el (comp-cstr-union-1-no-mem): (not null) => t.
Diffstat (limited to 'lisp/emacs-lisp')
| -rw-r--r-- | lisp/emacs-lisp/comp-cstr.el | 10 |
1 files changed, 9 insertions, 1 deletions
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) |