Re: [PATCH] can: softing: remove redundant NULL check

From: Oliver Hartkopp
Date: Fri Feb 16 2024 - 14:48:37 EST


Hi Simon,

I have a general question on the "Fixes:" tag in this patch:

On 16.02.24 18:27, Simon Horman wrote:
On Sun, Feb 11, 2024 at 07:05:35AM -0800, Daniil Dulov wrote:
In this case dev cannot be NULL, so remove redundant check.

Found by Linux Verification Center (linuxtesting.org) with SVACE.

Fixes: 03fd3cf5a179 ("can: add driver for Softing card")

IMHO this is simply an improvement which is done by all patches applied to the kernel but it does not really "fix" anything from a functional standpoint.

Shouldn't we either invent a new tag or better leave it out to not confuse the stable maintainers?

Best regards,
Oliver

Signed-off-by: Daniil Dulov <d.dulov@xxxxxxxxxx>

Hi Daniil,

I am not sure that dev cannot be NULL.
But I do see that the code assumes it is not, and would crash if it is.
So I think that, functionally, your statement is correct.

priv = netdev_priv(dev);
card = priv->card;

Reviewed-by: Simon Horman <horms@xxxxxxxxxx>