[arbel] Assert that mapping length is non-zero

An (impossible) mapping length of zero produces a negative bit shift, which is technically undefined. Signed-off-by: Michael Brown <mcb30@ipxe.org>
ipxe · Mar 22, 2017 · 0ced99e · 0ced99e
1 parent 7495813
commit 0ced99e
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/drivers/infiniband/arbel.c b/src/drivers/infiniband/arbel.c
@@ -1972,6 +1972,7 @@ static int arbel_map_vpm ( struct arbel *arbel,
 	assert ( ( va & ( ARBEL_PAGE_SIZE - 1 ) ) == 0 );
 	assert ( ( pa & ( ARBEL_PAGE_SIZE - 1 ) ) == 0 );
 	assert ( ( len & ( ARBEL_PAGE_SIZE - 1 ) ) == 0 );
+	assert ( len != 0 );
 
 	/* Calculate starting points */
 	start = pa;