c: due to __builtin_trap (in the future also things like noreturn function calls), compileexpr() can terminate current block. add checks for that in callexpr. more are probably needed..

1 files changed, 5 insertions, 1 deletions

diff --git a/c/c.c b/c/c.c
index d2d842d..2aa8014 100644
--- a/c/c.c
+++ b/c/c.c
@@ -3097,12 +3097,16 @@ compilecall(struct function *fn, const struct expr *ex)
       assert(ins.cls || ex->ty.t == TYVOID);
    }
    ins.l = exprvalue(fn, &sub[0]);
-   for (int i = 0; i < ex->narg; ++i) {
+   for (int i = 0; i < ex->narg && fn->curblk; ++i) {
       struct expr *arg = &sub[i+1];
       union type ty = i < td->nmemb ? td->param[i] : argpromote(arg->ty);
       union ref r = cvt(fn, ty, typedecay(arg->ty), exprvalue(fn, arg));
       vpush(&insns, mkarginstr(mkirtype(ty), r));
    }
+   if (!fn->curblk) {
+      vfree(&insns);
+      return NOREF;
+   }
    for (int i = 0; i < insns.n; ++i)
       addinstr(fn, insns.p[i]);
    vfree(&insns);