Re: [RFC PATCH 3/3] ASSERT(Frame->Mdl != NULL) before dereference

[Paul Durrant <xadimgnik@xxxxxxxxx>]

On 10/01/2024 13:42, Owen Smith wrote:
> 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 <owen.smith@xxxxxxxxx>
> ---
>   src/xenbus/gnttab.c | 1 +
>   1 file changed, 1 insertion(+)
Acked-by: Paul Durrant <paul@xxxxxxx>