diff options
author | Julia Lawall <julia@diku.dk> | 2010-03-28 23:39:22 +0000 |
---|---|---|
committer | Benjamin Herrenschmidt <benh@kernel.crashing.org> | 2010-04-07 18:00:40 +1000 |
commit | ab30f78c0afbb86584144925e25c7ca68ba9a91f (patch) | |
tree | 2ddd3972415c317c89b7c983463952721e04f5e4 /Documentation | |
parent | 637a99022fb119b90fb281715d13172f0394fc12 (diff) |
powerpc/pmac/windfarm: Correct potential double free
The conditionals were testing different values, but then all freeing the
same one, which could result in a double free.
A simplified version of the semantic match that finds this problem is as
follows: (http://coccinelle.lip6.fr/)
// <smpl>
@@
expression x,e;
identifier f;
iterator I;
statement S;
@@
*kfree(x);
... when != &x
when != x = e
when != I(x,...) S
*x
// </smpl>
Signed-off-by: Julia Lawall <julia@diku.dk>
Signed-off-by: Benjamin Herrenschmidt <benh@kernel.crashing.org>
Diffstat (limited to 'Documentation')
0 files changed, 0 insertions, 0 deletions