[vdisk] Attempt to inhibit spurious Coverity warning

Signed-off-by: Michael Brown <mbrown@fensystems.co.uk>
ipxe · May 10, 2017 · 7f602ad · 7f602ad
1 parent bb21155
commit 7f602ad
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/vdisk.c b/src/vdisk.c
@@ -27,6 +27,7 @@
 #include <stddef.h>
 #include <string.h>
 #include <stdio.h>
+#include <assert.h>
 #include "ctype.h"
 #include "wimboot.h"
 #include "vdisk.h"
@@ -402,6 +403,8 @@ static void vdisk_dir_files ( uint64_t lba, unsigned int count, void *data ) {
 
 		/* Identify file */
 		idx = VDISK_FILE_DIRENT_IDX ( lba );
+		assert ( idx < ( sizeof ( vdisk_files ) /
+				 sizeof ( vdisk_files[0] ) ) );
 		file = &vdisk_files[idx];
 		if ( ! file->read )
 			continue;