Hello Dmitry Torokhov,

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

The patch b5d21704361e: "Input: psmouse - switch to using dev_*() for
messages" from Oct 10, 2011, leads to the following Smatch complaint:

drivers/input/mouse/psmouse-base.c:1512 psmouse_reconnect()
         error: we previously assumed 'psmouse' could be null (see line 1511)

drivers/input/mouse/psmouse-base.c
  1510  
  1511          if (!drv || !psmouse) {
                             ^^^^^^^
Old check.

  1512                  psmouse_dbg(psmouse,
                                    ^^^^^^^
New dereference.

  1513                              "reconnect request, but serio is 
disconnected, ignoring...\n");
  1514                  return -1;

regards,
dan carpenter
--
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