From c6abe97f941a5021d416e01fb0f61a675c5f6b29 Mon Sep 17 00:00:00 2001 From: Andrea Corallo Date: Thu, 5 Nov 2020 22:23:48 +0100 Subject: [PATCH] * A native compiler forward propagation fix * lisp/emacs-lisp/comp.el (comp-fwprop-insn): Fix `comp-mvar' `const-vld' slot left unset while propagating in phis. --- lisp/emacs-lisp/comp.el | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/lisp/emacs-lisp/comp.el b/lisp/emacs-lisp/comp.el index b35fe9bfcbb..51fed2ffd3b 100644 --- a/lisp/emacs-lisp/comp.el +++ b/lisp/emacs-lisp/comp.el @@ -2249,7 +2249,8 @@ Forward propagate immediate involed in assignments." (consts (mapcar #'comp-mvar-constant rest)) (x (car consts)) (equals (cl-every (lambda (y) (equal x y)) consts))) - (setf (comp-mvar-constant lval) x)) + (setf (comp-mvar-const-vld lval) t + (comp-mvar-constant lval) x)) ;; Forward type propagation. ;; FIXME: checking for type equality is not sufficient cause does not ;; account type hierarchy! -- 2.39.5