ir: barebones IR passes checked contracts

1 files changed, 3 insertions, 0 deletions

diff --git a/ir/cfg.c b/ir/cfg.c
index e79dc63..758fa4e 100644
--- a/ir/cfg.c
+++ b/ir/cfg.c
@@ -10,6 +10,7 @@ porec(struct block ***rpo, struct block *b)
    *--*rpo = b;
 }
 
+/* also blkid */
 void
 sortrpo(struct function *fn)
 {
@@ -47,6 +48,8 @@ sortrpo(struct function *fn)
    }
    fn->entry->lprev = rpo[-1];
    rpo[-1]->lnext = fn->entry;
+
+   fn->prop |= FNBLKID | FNRPO;
 }
 
 /* vim:set ts=3 sw=3 expandtab: */