From fca213f53a4dc107dd59a772158a2286086e421a Mon Sep 17 00:00:00 2001 From: Owen Smith Date: Wed, 10 Jan 2024 13:42:22 +0000 Subject: [PATCH] ASSERT(Frame->Mdl != NULL) before dereference CodeAnalysis detects a false positive, where Frame->Mdl could be NULL in GnttabContract. Without asserting a non-NULL pointer, SDV will generate a DVL log file that will fail WHQL testing. Signed-off-by: Owen Smith --- src/xenbus/gnttab.c | 1 + 1 file changed, 1 insertion(+) diff --git a/src/xenbus/gnttab.c b/src/xenbus/gnttab.c index 4f6617b..57c36df 100644 --- a/src/xenbus/gnttab.c +++ b/src/xenbus/gnttab.c @@ -274,6 +274,7 @@ GnttabContract( Info("removed refrences [%08llx - %08llx]\n", Start, End); + ASSERT(Frame->Mdl != NULL); Pfn = MmGetMdlPfnArray(Frame->Mdl)[0]; (VOID) MemoryRemoveFromPhysmap(Pfn); -- 2.39.5