From bd3a823b827c9394c11aae63dc3fa81098699296 Mon Sep 17 00:00:00 2001 From: Pip Cet Date: Sun, 21 Feb 2021 11:44:27 +0000 Subject: [PATCH] [native-comp] Fix constraint for (assume x (and a b)) (Bug#46670) * lisp/emacs-lisp/comp.el (comp-fwprop-insn): Use comp-cstr-union, not comp-cstr-intersection. --- lisp/emacs-lisp/comp.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lisp/emacs-lisp/comp.el b/lisp/emacs-lisp/comp.el index 4036080976546..965121657f601 100644 --- a/lisp/emacs-lisp/comp.el +++ b/lisp/emacs-lisp/comp.el @@ -3059,7 +3059,7 @@ comp-fwprop-insn (`(assume ,lval (,kind . ,operands)) (cl-case kind (and - (apply #'comp-cstr-intersection lval operands)) + (apply #'comp-cstr-union lval operands)) (not ;; Prevent double negation! (unless (comp-cstr-neg (car operands)) -- 2.30.0