From 2c2051542b7671fd060560edf09516ecf56bf6fa Mon Sep 17 00:00:00 2001
From: Quentin Carbonneaux <quentin@c9x.me>
Date: Wed, 5 Jun 2024 12:50:36 +0200
Subject: [PATCH] relax one assert

In this branch we only need that br[b->loop].b
is defined. This is the case if b->loop >= n.
---
 mem.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mem.c b/mem.c
index 3f41fa5..3265b39 100644
--- a/mem.c
+++ b/mem.c
@@ -296,7 +296,7 @@ coalesce(Fn *fn)
 			if (s->l) {
 				radd(&s->r, ip);
 				if (b->loop != -1) {
-					assert(b->loop > n);
+					assert(b->loop >= n);
 					radd(&s->r, br[b->loop].b - 1);
 				}
 			}
-- 
2.11.4.GIT