ir: barebones IR passes checked contracts

1 files changed, 3 insertions, 0 deletions

diff --git a/ir/ir.c b/ir/ir.c
index 6a40991..30da628 100644
--- a/ir/ir.c
+++ b/ir/ir.c
@@ -68,6 +68,7 @@ irinit(struct function *fn)
    fn->entry = fn->curblk = allocz(fn->arena, sizeof(struct block), 0);
    fn->nblk = 1;
    fn->entry->lprev = fn->entry->lnext = fn->entry;
+   fn->prop = FNUSE; /* builder keeps this */
 }
 
 static int
@@ -552,6 +553,8 @@ fillblkids(struct function *fn)
    int i = 0;
    struct block *blk = fn->entry;
    do blk->id = i++; while ((blk = blk->lnext) != fn->entry);
+
+   fn->prop |= FNBLKID;
 }
 
 /** Misc **/