aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorQuentin Carbonneaux <[email protected]>2024-06-05 12:50:36 +0200
committerQuentin Carbonneaux <[email protected]>2024-06-05 12:50:36 +0200
commit2c2051542b7671fd060560edf09516ecf56bf6fa (patch)
treef48d80606b0587adffbc09f252bf881c11fb3488
parentc8220b638b17cb9eb583cca15d1b02c36a28ed2f (diff)
relax one assert
In this branch we only need that br[b->loop].b is defined. This is the case if b->loop >= n.
-rw-r--r--mem.c2
1 files changed, 1 insertions, 1 deletions
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);
}
}