Hello Nobuo Iwata,

This is a semi-automatic email about new static checker warnings.

The patch 0775a9cbc694: "usbip: vhci extension: modifications to vhci 
driver" from Jun 13, 2016, leads to the following Smatch complaint:

drivers/usb/usbip/vhci_hcd.c:466 vhci_tx_urb()
         warn: variable dereferenced before check 'vdev' (see line 463)

drivers/usb/usbip/vhci_hcd.c
   462          struct vhci_priv *priv;
   463          struct vhci_hcd *vhci = vdev_to_vhci(vdev);
                                        ^^^^^^^^^^^^^^^^^^
Patch adds a new dereference inside the vdev_to_vhci() function.

   464          unsigned long flags;
   465  
   466          if (!vdev) {
                    ^^^^^
Old code assumed "vdev" could be NULL.

   467                  pr_err("could not get virtual device");
   468                  return;

regards,
dan carpenter
--
To unsubscribe from this list: send the line "unsubscribe linux-usb" in
the body of a message to majord...@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html

Reply via email to