* 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 b35fe9bfcbba26921e93ad137a96a7363ea9d6b7..51fed2ffd3bf42e0e81ecf9c87f91a29cb1c5bf5 100644 (file)
--- 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!