shithub: mc

Info  •  Files  •  Log  •  Branches

We want to unify the checked node, not any subnode.

--- a/parse/infer.c

+++ b/parse/infer.c

@@ -925,8 +925,6 @@

         n = st->postcheck[i];

         if (exprop(n) != Omemb)

             continue;

-        if (type(st, n)->type == Typtr)

-            n = n->expr.args[0];

         aggr = st->postcheck[i]->expr.args[0];

         memb = st->postcheck[i]->expr.args[1];