py/asmbase: Fix assertion error with viper code.

jepler · dpgeorge · commit 5ff2ae5a6c95 · 2025-06-16T14:02:30.000+10:00
In the case of viper code it's possible to reach MP_ASM_PASS_EMIT with a code size of 0 bytes. Update the assertion accordingly. After this change, `mpy-cross -march=debug' on viper tests no longer crashes. Fixes issue micropython#17467. Signed-off-by: Jeff Epler <jepler@gmail.com>
diff --git a/py/asmbase.c b/py/asmbase.c
@@ -53,7 +53,7 @@ void mp_asm_base_start_pass(mp_asm_base_t *as, int pass) {
     } else {
         // allocating executable RAM is platform specific
         MP_PLAT_ALLOC_EXEC(as->code_offset, (void **)&as->code_base, &as->code_size);
-        assert(as->code_base != NULL);
+        assert(as->code_size == 0 || as->code_base != NULL);
     }
     as->pass = pass;
     as->suppress = false;

Original file line number	Diff line number	Diff line change
`@@ -53,7 +53,7 @@ void mp_asm_base_start_pass(mp_asm_base_t *as, int pass) {`
`53`	`53`	`} else {`
`54`	`54`	`// allocating executable RAM is platform specific`
`55`	`55`	`MP_PLAT_ALLOC_EXEC(as->code_offset, (void **)&as->code_base, &as->code_size);`
`56`		`- assert(as->code_base != NULL);`
	`56`	`+ assert(as->code_size == 0 \|\| as->code_base != NULL);`
`57`	`57`	`}`
`58`	`58`	`as->pass = pass;`
`59`	`59`	`as->suppress = false;`