tree c7ad164cfcfc16e5fb155e0ea3d3039eb47f0def
parent 99b1bb61b225c3eb4d3b196d4f1d041695b19a7e
author Julia Lawall <julia@diku.dk> 1310227479 +0200
committer Joel Becker <jlbec@evilplan.org> 1321523206 -0800

fs/ocfs2/dlm/dlmlock.c: free kmem_cache_zalloc'd data using kmem_cache_free

Memory allocated using kmem_cache_zalloc should be freed using
kmem_cache_free, not kfree.

The semantic patch that fixes this problem is as follows:
(http://coccinelle.lip6.fr/)

// <smpl>
@@
expression x,e,e1,e2;
@@

x = kmem_cache_zalloc(e1,e2)
... when != x = e
?-kfree(x)
+kmem_cache_free(e1,x)
// </smpl>

Signed-off-by: Julia Lawall <julia@diku.dk>
Signed-off-by: Joel Becker <jlbec@evilplan.org>