Resolve SDV reported "defect"

NdisMGetDeviceProperty() should always return non-NULL
FunctionalDeviceObject according to _Outptr_opt_. An explicit
FunctionalDeviceObject NULL check has been added to keep the SDV happy
and not calling our driver "defective".

Signed-off-by: Simon Rozman <simon@rozman.si>

1 files changed, 2 insertions, 0 deletions

diff --git a/wintun.c b/wintun.c
index fae78bc..0dbd1dd 100644
--- a/wintun.c
+++ b/wintun.c
@@ -930,6 +930,8 @@ TunInitializeEx(
     Ctx->MiniportAdapterHandle = MiniportAdapterHandle;
 
     NdisMGetDeviceProperty(MiniportAdapterHandle, NULL, &Ctx->FunctionalDeviceObject, NULL, NULL, NULL);
+    if (Status = NDIS_STATUS_FAILURE, !Ctx->FunctionalDeviceObject)
+        goto cleanupFreeCtx;
     /* Reverse engineering indicates that we'd be better off calling
      * NdisWdfGetAdapterContextFromAdapterHandle(functional_device),
      * which points to our TUN_CTX object directly, but this isn't