From 7a9ef7d2f6724eb2519ab0e49e62cf6d2b4aabba Mon Sep 17 00:00:00 2001
From: Wojciech Malikowski <wojciech.malikowski@intel.com>
Date: Tue, 4 Jun 2019 04:48:25 -0400
Subject: [PATCH] lib/vmd: Fixed scan-build issue in vmd_pcibus_remove_device()

Added assertion checking if next element on list
is valid.

Change-Id: I9f4d969dc84e5fbee9d72d764f57fbd9480ab197
Signed-off-by: Wojciech Malikowski <wojciech.malikowski@intel.com>
Reviewed-on: https://review.gerrithub.io/c/spdk/spdk/+/456774
Tested-by: SPDK CI Jenkins <sys_sgci@intel.com>
Reviewed-by: Jim Harris <james.r.harris@intel.com>
Reviewed-by: Darek Stojaczyk <dariusz.stojaczyk@intel.com>
---
 lib/vmd/vmd.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/lib/vmd/vmd.c b/lib/vmd/vmd.c
index 2a43ca3ba..4a9dc6d8a 100644
--- a/lib/vmd/vmd.c
+++ b/lib/vmd/vmd.c
@@ -419,6 +419,7 @@ vmd_pcibus_remove_device(vmd_pci_bus *bus, vmd_pci_device *device)
 
 	while (list->next != NULL) {
 		if (list->next == device) {
+			assert(list->next->next);
 			list->next = list->next->next;
 		}
 		list = list->next;