drivers/tty/bfin_jtag_comm.c: avoid calling put_tty_driver on NULL
authorJulia Lawall <julia@diku.dk>
Wed, 23 Mar 2011 23:42:56 +0000 (16:42 -0700)
committerLinus Torvalds <torvalds@linux-foundation.org>
Thu, 24 Mar 2011 02:46:39 +0000 (19:46 -0700)
commitd9d691f584bd012d235c35279c043a2ccd23d7d7
tree9094c048d6df951f14e2fb1cc790366791fdd7d5
parent73210a135b9dd53ba59beb4ced5a55633ae65b2f
drivers/tty/bfin_jtag_comm.c: avoid calling put_tty_driver on NULL

put_tty_driver calls tty_driver_kref_put on its argument, and then
tty_driver_kref_put calls kref_put on the address of a field of this
argument.  kref_put checks for NULL, but in this case the field is likely
to have some offset and so the result of taking its address will not be
NULL.  Labels are added to be able to skip over the call to put_tty_driver
when the argument will be NULL.

The semantic match that finds this problem is as follows:
(http://coccinelle.lip6.fr/)

// <smpl>
@@
expression *x;
@@

*if (x == NULL)
{ ...
* put_tty_driver(x);
  ...
  return ...;
}
// </smpl>

Signed-off-by: Julia Lawall <julia@diku.dk>
Cc: Torben Hohn <torbenh@gmx.de>
Signed-off-by: Andrew Morton <akpm@linux-foundation.org>
Signed-off-by: Linus Torvalds <torvalds@linux-foundation.org>
drivers/tty/bfin_jtag_comm.c