Re: [Xen-devel] [PATCH] x86/psr: remove useless check in free_socket_resources

["Jan Beulich" <JBeulich@xxxxxxxx>]

>>> On 09.08.17 at 14:35, <wei.liu2@xxxxxxxxxx> wrote:
> The check is useless because pointer arithmetic ensures "info" is
> always non-zero.
> 
> Replace it with an ASSERT for socket_info. The only caller of
> free_socket_resources already ensures socket_info is not NULL before
> calling it.
> 
> Coverity-ID: 1416344
> 
> Signed-off-by: Wei Liu <wei.liu2@xxxxxxxxxx>

Acked-by: Jan Beulich <jbeulich@xxxxxxxx>



_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
https://lists.xen.org/xen-devel