GH-93249: relax overly struct assertion on bounds->ar_start

iritkatriel · iritkatriel · commit 3b8121f2143b · 2022-06-17T19:32:52.000+01:00
diff --git a/Objects/codeobject.c b/Objects/codeobject.c
@@ -818,7 +818,7 @@ static void
 retreat(PyCodeAddressRange *bounds)
 {
     ASSERT_VALID_BOUNDS(bounds);
-    assert(bounds->ar_start > 0);
+    assert(bounds->ar_start >= 0);
     do {
         bounds->opaque.lo_next--;
     } while (((*bounds->opaque.lo_next) & 128) == 0);

Original file line number	Diff line number	Diff line change
`@@ -818,7 +818,7 @@ static void`
`818`	`818`	`retreat(PyCodeAddressRange *bounds)`
`819`	`819`	`{`
`820`	`820`	`ASSERT_VALID_BOUNDS(bounds);`
`821`		`- assert(bounds->ar_start > 0);`
	`821`	`+ assert(bounds->ar_start >= 0);`
`822`	`822`	`do {`
`823`	`823`	`bounds->opaque.lo_next--;`
`824`	`824`	`} while (((*bounds->opaque.lo_next) & 128) == 0);`