From 9dab543399fd67085225e165d1e48deab7731180 Mon Sep 17 00:00:00 2001 From: lemon Date: Mon, 24 Nov 2025 12:50:41 +0100 Subject: c: create dummy unreachable block after trap Reverts 9abe27f6712. This simplies expr codegen, otherwise would manually have to check `fn->curblk != NULL` repeatedly. Later passes will easily delete those unreachable blocks --- c/c.c | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) (limited to 'c/c.c') diff --git a/c/c.c b/c/c.c index 6d1996a..14f988e 100644 --- a/c/c.c +++ b/c/c.c @@ -3128,16 +3128,12 @@ 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 && fn->curblk; ++i) { + for (int i = 0; i < ex->narg; ++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); -- cgit v1.2.3