diff options
author | Julia Lawall <julia@diku.dk> | 2010-08-06 22:58:49 +0200 |
---|---|---|
committer | Tyler Hicks <tyhicks@linux.vnet.ibm.com> | 2010-08-09 13:25:24 -0500 |
commit | ceeab92971e8af05c1e81a4ff2c271124b55bb9b (patch) | |
tree | 517cc3160679d39da57cee982a1aff7cbf7fb789 /drivers/pcmcia/cirrus.h | |
parent | 31f73bee3e170b7cabb35db9e2f4bf7919b9d036 (diff) | |
download | talos-op-linux-ceeab92971e8af05c1e81a4ff2c271124b55bb9b.tar.gz talos-op-linux-ceeab92971e8af05c1e81a4ff2c271124b55bb9b.zip |
fs/ecryptfs/file.c: introduce missing free
The comments in the code indicate that file_info should be released if the
function fails. This releasing is done at the label out_free, not out.
The semantic match that finds this problem is as follows:
(http://www.emn.fr/x-info/coccinelle/)
// <smpl>
@r exists@
local idexpression x;
statement S;
expression E;
identifier f,f1,l;
position p1,p2;
expression *ptr != NULL;
@@
x@p1 = kmem_cache_zalloc(...);
...
if (x == NULL) S
<... when != x
when != if (...) { <+...x...+> }
(
x->f1 = E
|
(x->f1 == NULL || ...)
|
f(...,x->f1,...)
)
...>
(
return <+...x...+>;
|
return@p2 ...;
)
@script:python@
p1 << r.p1;
p2 << r.p2;
@@
print "* file: %s kmem_cache_zalloc %s" % (p1[0].file,p1[0].line)
// </smpl>
Signed-off-by: Julia Lawall <julia@diku.dk>
Cc: stable@kernel.org
Signed-off-by: Tyler Hicks <tyhicks@linux.vnet.ibm.com>
Diffstat (limited to 'drivers/pcmcia/cirrus.h')
0 files changed, 0 insertions, 0 deletions