From a7cb592efa9ec72c4c5e9d3c1e7469203a4b47e2 Mon Sep 17 00:00:00 2001 From: Kimplul Date: Tue, 2 Apr 2024 15:15:04 +0300 Subject: add simple unreachability --- src/nodes.c | 8 ++++++++ 1 file changed, 8 insertions(+) (limited to 'src/nodes.c') diff --git a/src/nodes.c b/src/nodes.c index 4c5e97a..294b531 100644 --- a/src/nodes.c +++ b/src/nodes.c @@ -48,6 +48,7 @@ struct blk *new_block(struct fn *f) { struct blk *b = calloc(1, sizeof(struct blk)); b->id = ++f->nblk; + b->reachable = false; b->insns = vec_create(sizeof(struct insn)); vec_append(&f->blks, &b); return b; @@ -82,6 +83,13 @@ void finish_function(struct fn *f, const char *name) destroy_block(last_blk); + last_blk = blk_back(f->blks); + /* somewhat arbitrary restriction but I guess but makes the + * implementation a bit simpler */ + assert(last_blk->btype == RET); + last_blk->s1 = NULL; + last_blk->s2 = NULL; + foreach_blk(i, f->blks) { struct blk *b = blk_at(f->blks, i); if (!b->to) -- cgit v1.3