In the branch, index is 0 or positive, and num_mmio_regions is less than max s32.
Signed-off-by: Andrea Bastoni <[email protected]> --- hypervisor/mmio.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/hypervisor/mmio.c b/hypervisor/mmio.c index b7915eae..3747bf6f 100644 --- a/hypervisor/mmio.c +++ b/hypervisor/mmio.c @@ -209,7 +209,7 @@ void mmio_region_unregister(struct cell *cell, unsigned long start) cell->mmio_generation++; memory_barrier(); - for (/* empty */; index < cell->num_mmio_regions; index++) + for (/* empty */; (u32)index < cell->num_mmio_regions; index++) copy_region(cell, index + 1, index); cell->num_mmio_regions--; -- 2.28.0 -- You received this message because you are subscribed to the Google Groups "Jailhouse" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/jailhouse-dev/20201021145404.100463-11-andrea.bastoni%40tum.de.
