Hey Dan,

On 02/05/2015 09:12 AM, Dan Carpenter wrote:
> The patch 96d7f10634e6: "can: kvaser_usb: Consolidate and unify state
> change handling" from Jan 26, 2015, leads to the following Smatch
> warning:
> 
> 	drivers/net/can/usb/kvaser_usb.c:827 kvaser_usb_rx_error_update_can_state()
> 	warn: impossible condition '(es->txerr >= 256) => (0-255 >= 256)'

A patch that implicitly fixes this warning, along with other
things, is in my latest pull request to David Miller.

    can: kvaser_usb: Ignore spurious error events after a busoff
    http://article.gmane.org/gmane.linux.can/7587
    http://www.spinics.net/lists/netdev/msg315062.html

regards,
Marc

-- 
Pengutronix e.K.                  | Marc Kleine-Budde           |
Industrial Linux Solutions        | Phone: +49-231-2826-924     |
Vertretung West/Dortmund          | Fax:   +49-5121-206917-5555 |
Amtsgericht Hildesheim, HRA 2686  | http://www.pengutronix.de   |