kernel/linux
0
Fork 0
mirror of https://git.kernel.org/pub/scm/linux/kernel/git/stable/linux.git/ synced 2026-09-24 18:16:04 +00:00
Code Issues Releases Packages Activity
linux/drivers/s390
History
Julia Lawall 1783e60ff2 [S390] tape_3590.c: introduce missing kfree 
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>
Signed-off-by: Martin Schwidefsky <schwidefsky@de.ibm.com>
History 2008-06-10 10:03:28 +02:00
..
block [S390] dasd: use a generic wait_queue for sleep_on 2008-05-30 10:03:35 +02:00
char [S390] tape_3590.c: introduce missing kfree 2008-06-10 10:03:28 +02:00
cio [S390] cio: Fix inverted isc priorities. 2008-06-10 10:03:27 +02:00
crypto [S390] zcrypt: Comments and kernel-doc cleanup 2008-04-17 07:47:06 +02:00
kvm virtio: set device index in common code. 2008-05-30 15:09:42 +10:00
net netiucv: Fix missing driver attributes. 2008-04-29 01:56:36 -04:00
scsi [SCSI] Let scsi_cmnd->cmnd use request->cmd buffer 2008-05-02 10:18:22 -05:00
ebcdic.c Linux-2.6.12-rc2 2005-04-16 15:20:36 -07:00
Makefile s390: KVM guest: virtio device support, and kvm hypercalls 2008-04-27 12:00:51 +03:00
s390_rdev.c [PATCH] s390: kzalloc() conversion in drivers/s390 2006-03-24 07:33:18 -08:00
s390mach.c [S390] s390mach compile warning 2008-05-07 09:23:02 +02:00
s390mach.h [S390] Fix a lot of sparse warnings. 2008-04-17 07:47:06 +02:00
sysinfo.c [S390] Add new fields for System z10 to /proc/sysinfo 2008-04-17 07:47:01 +02:00