From: Michael Brown Date: Wed, 22 Mar 2017 13:18:54 +0000 (+0200) Subject: [arbel] Assert that mapping length is non-zero X-Git-Tag: v1.20.1~258 X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=0ced99e97c59e193eb7b1313fbb4473c720c59dc;p=thirdparty%2Fipxe.git [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 --- diff --git a/src/drivers/infiniband/arbel.c b/src/drivers/infiniband/arbel.c index ea65d8b8d..98a2b6010 100644 --- 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;