From 87f9753fb776a1fa6e59baef759e4687fb9a1ac7 Mon Sep 17 00:00:00 2001
From: lemon <lsof@mailbox.org>
Date: Fri, 21 Nov 2025 17:07:28 +0100
Subject: ir: barebones IR passes checked contracts

---
 ir/ir.c | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'ir/ir.c')

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 **/
-- 
cgit v1.2.3