diff --git a/src/opt/comp.c b/src/opt/comp.c index 71bd39a1..a8f9289b 100644 --- a/src/opt/comp.c +++ b/src/opt/comp.c @@ -48,6 +48,11 @@ NOINLINE B nc_pop(B* wp) { assert(isArr(w) && v(w)->refc==1 && IA(w)>0); B r = IGetU(w, a(w)->ia-1); a(w)->ia--; + #if VERIFY_TAIL + assert(TY(w) == t_harr); + ux start = offsetof(HArr, a) + a(w)->ia * sizeof(B); + FINISH_OVERALLOC(a(w), start, start+sizeof(B)); + #endif return r; }