coul: fix bug in recovery without -W

hvds · hvds · commit 439157809829 · 2022-12-01T15:07:22.000Z
On recovery of a run without -W, we could wrongly think that it was
a run _with_ -W due to a missing guard.
diff --git a/coul.c b/coul.c
@@ -2665,7 +2665,7 @@ e_is insert_stack(void) {
             fail("failed to inject %lu^%u at v_%u", pp.p, pp.e, vi);
         }
     }
-    if (midp < maxp) {
+    if (midp && midp < maxp) {
         if (jump != IS_DEEPER)
             fail("data mismatch");
         jump = IS_MIDP;

Original file line number	Diff line number	Diff line change
`@@ -2665,7 +2665,7 @@ e_is insert_stack(void) {`
`2665`	`2665`	`fail("failed to inject %lu^%u at v_%u", pp.p, pp.e, vi);`
`2666`	`2666`	`}`
`2667`	`2667`	`}`
`2668`		`- if (midp < maxp) {`
	`2668`	`+ if (midp && midp < maxp) {`
`2669`	`2669`	`if (jump != IS_DEEPER)`
`2670`	`2670`	`fail("data mismatch");`
`2671`	`2671`	`jump = IS_MIDP;`