shithub: mc

Info  •  Files  •  Log  •  Branches

Fix some random crashes.

    Stubbing in stuff leads to nulls being returned. Don't die
    on them -- assert, or handle them gracefully.

--- a/parse/infer.c

+++ b/parse/infer.c

@@ -15,6 +15,7 @@

 /* find the most accurate type mapping */

 static Type *tf(Type *t)

 {

+    assert(t != NULL);

     while (typetab[t->tid])

         t = typetab[t->tid];

     return t;

@@ -211,7 +212,10 @@

     t = decltype(n);

     settype(n, t);

-    inferexpr(n->decl.init, NULL);

+    if (n->decl.init) {

+        inferexpr(n->decl.init, NULL);

+        unify(n, type(n), type(n->decl.init));

+    }

 }

 static void infernode(Node *n)