From afdbc75bf9edfb7b292b5795b59553ecc0ef0926 Mon Sep 17 00:00:00 2001
From: Simon Rozman <simon@rozman.si>
Date: Wed, 31 Jul 2019 13:51:35 +0200
Subject: 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>
---
 wintun.proj | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'wintun.proj')

diff --git a/wintun.proj b/wintun.proj
index 1370702..d5674e2 100644
--- a/wintun.proj
+++ b/wintun.proj
@@ -69,7 +69,7 @@
   <Target Name="SDVView">
     <MSBuild Projects="wintun.vcxproj" Targets="sdv" Properties="Inputs=/view;Configuration=Release;Platform=x64"/>
   </Target>
-  
+
   <!--
     Driver Verification Log
   -->
-- 
cgit v1.2.3-59-g8ed1b