diff options
author | Julia Lawall <[email protected]> | 2008-06-12 15:21:43 -0700 |
---|---|---|
committer | Linus Torvalds <[email protected]> | 2008-06-12 18:05:41 -0700 |
commit | 093a44e71aa29157fb1611b00507d67c954099d6 (patch) | |
tree | 86aec003f202998538357fc2843e57c00b18d23d /fs/jbd2/commit.c | |
parent | cef33400d0349fb24b6f8b7dea79b66e3144fd8b (diff) |
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 <[email protected]>
Cc: Karsten Keil <[email protected]>
Signed-off-by: Andrew Morton <[email protected]>
Signed-off-by: Linus Torvalds <[email protected]>
Diffstat (limited to 'fs/jbd2/commit.c')
0 files changed, 0 insertions, 0 deletions