relax one assert

In this branch we only need that br[b->loop].b
is defined. This is the case if b->loop >= n.
This commit is contained in:
Quentin Carbonneaux 2024-06-05 12:50:36 +02:00
parent c8220b638b
commit 2c2051542b

2
mem.c
View file

@ -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);
}
}