shithub: mc

Info  •  Files  •  Log  •  Branches

Don't mark namespaced variable lvalues as const.

    Reading a var is pure, but the var itself isn't const.

--- a/parse/infer.c

+++ b/parse/infer.c

@@ -1202,9 +1202,11 @@

             isconst = isconst && args[i]->expr.isconst;

         }

     }

-    if (ispureop[exprop(n)])

+    if (exprop(n) == Ovar)

+        n->expr.isconst = decls[n->expr.did]->decl.isconst;

+    else if (ispureop[exprop(n)])

         n->expr.isconst = isconst;

-    *exprconst = isconst;

+    *exprconst = n->expr.isconst;

 }

 static void inferexpr(Inferstate *st, Node *n, Type *ret, int *sawret)