Assist SDV in realizing that non-NULL IRP => non-NULL buffer

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

wintun.c

@@ -527,6 +527,9 @@ static void TunQueueProcess(_Inout_ TUN_CTX *ctx)
 					TunNBLRefDec(ctx, nbl, 0);
 				return;
 			}
+
+			_Analysis_assume_(buffer);
+			_Analysis_assume_(irp->IoStatus.Information <= size);
 		} else
 			nb = TunQueueRemove(ctx, &nbl);