ir: barebones IR passes checked contracts

1 files changed, 5 insertions, 0 deletions

diff --git a/ir/abi0.c b/ir/abi0.c
index 895277c..fe1a7e3 100644
--- a/ir/abi0.c
+++ b/ir/abi0.c
@@ -348,6 +348,8 @@ abi0(struct function *fn)
    struct block *blk;
    union ref sret = {0};
 
+   FREQUIRE(FNUSE);
+
    if (fn->retty.t == TYVOID) {
       fn->nabiret = 0;
    } else {
@@ -435,6 +437,9 @@ abi0(struct function *fn)
       blk->id = id++;
    } while ((blk = blk->lnext) != fn->entry);
 
+   /* vaargs might break */
+   fn->prop &= ~(FNBLKID | FNRPO);
+
    if (ccopt.dbg.a) {
       bfmt(ccopt.dbgout, "<< After abi0 >>\n");
       irdump(fn);