From: Andrea Corallo <akrl@sdf.org>
Date: Thu, 5 Nov 2020 21:23:48 +0000 (+0100)
Subject: * A native compiler forward propagation fix
X-Git-Tag: emacs-28.0.90~2727^2~346
X-Git-Url: http://git.eshelyaron.com/gitweb/?a=commitdiff_plain;h=c6abe97f941a5021d416e01fb0f61a675c5f6b29;p=emacs.git

* 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.
---

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!