Merge pull request #454 from s-hadinger/walrus_fix_member

Fix walrus assignment with member

src/be_code.c

@@ -716,6 +716,8 @@ int be_code_setvar(bfuncinfo *finfo, bexpdesc *e1, bexpdesc *e2, bbool keep_reg)
                 free_expreg(finfo, e2); /* free source (checks only ETREG) */
                 *e2 = *e1;      /* now e2 is e1 ETLOCAL */
             }
+        } else {
+            *e2 = *e1;          /* ETLOCAL wins over ETREG */
         }
         break;
     case ETGLOBAL: /* store to grobal R(A) -> G(Bx) by global index */

tests/walrus.be

@@ -79,3 +79,19 @@ def check_overwrite_builtin()
 end
 
 check_overwrite_builtin()
+
+# Bug when dereferencing in a walrus
+class Test_walrus_member
+    var a
+    def init()
+        self.a = 2
+    end
+    def f()
+        var v
+        if (v := self.a) != nil         # here is where the bug happens
+            return v                    # 'v' would have a wrong value
+        end
+    end
+end
+var t = Test_walrus_member()
+assert(t.f() == 2)