>>> On 09.08.17 at 14:35, 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
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
---
xen/arch/x86/psr.c |
