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

2017-08-09 Thread Jan Beulich
>>> 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. > >

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

2017-08-09 Thread Wei Liu
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 ---