linux/drivers/isdn
Julia Lawall 093a44e71a drivers/isdn/sc/ioctl.c: add missing kfree
spid has been allocated in this function and so should be freed before
leaving it, as in the other error handling cases.

The semantic match that finds the problem is as follows:
(http://www.emn.fr/x-info/coccinelle/)

@r exists@
expression E,E1;
statement S;
position p1,p2,p3;
@@

E =@p1 \(kmalloc\|kcalloc\|kzalloc\)(...)
... when != E = E1
if (E == NULL || ...) S
... when != E = E1
if@p2 (...) {
 ... when != kfree(E)
 }
... when != E = E1
kfree@p3(E);

@forall@
position r.p2;
expression r.E;
int E1 != 0;
@@

* if@p2 (...) {
 ... when != kfree(E)
     when strict
return E1; }

Signed-off-by: Julia Lawall <julia@diku.dk>
Cc: Karsten Keil <kkeil@suse.de>
Signed-off-by: Andrew Morton <akpm@linux-foundation.org>
Signed-off-by: Linus Torvalds <torvalds@linux-foundation.org>
2008-06-12 18:05:41 -07:00
..
act2000
capi isdn/capi: Return proper errnos on module init. 2008-05-14 23:30:06 -07:00
divert
gigaset tty: The big operations rework 2008-04-30 08:29:47 -07:00
hardware isdn divas: fix proc creation 2008-06-10 12:49:31 -07:00
hisax
hysdn isdn: use simple_read_from_buffer() 2008-06-10 12:50:14 -07:00
i4l tty/serial: lay the foundations for the next set of reworks 2008-04-30 08:29:45 -07:00
icn
isdnloop
pcbit
sc drivers/isdn/sc/ioctl.c: add missing kfree 2008-06-12 18:05:41 -07:00
Kconfig
Makefile