On pon, 2015-03-23 at 17:54 +0300, Dan Carpenter wrote:
> Hello Krzysztof Kozlowski,
> 
> The patch 297d716f6260: "power_supply: Change ownership from driver
> to core" from Mar 12, 2015, leads to the following static checker
> warning:
> 
>       drivers/hid/hid-input.c:457 hidinput_setup_battery()
>       error: potential NULL dereference 'dev->battery'.
> 

Yes, indeed. I'll fix it.

I suppose Smatch detected this so I wonder why it does not print this
warning in my configuration (I tried v0.5.0-2916-gbdbeaee0221e and
v0.5.0-3008-g08de8666209d). Any ideas?

Best regards,
Krzysztof



--
To unsubscribe from this list: send the line "unsubscribe linux-input" in
the body of a message to [email protected]
More majordomo info at  http://vger.kernel.org/majordomo-info.html

Reply via email to