feature/native-comp c6abe97: * A native compiler forward propagation fix

[Andrea Corallo]

branch: feature/native-comp
commit c6abe97f941a5021d416e01fb0f61a675c5f6b29
Author: Andrea Corallo <akrl@sdf.org>
Commit: Andrea Corallo <akrl@sdf.org>

    * 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 b35fe9b..51fed2f 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!