Messages in this thread | | | From | Kumar Gala <> | Subject | Re: [PATCH 2/10] arch/powerpc: introduce missing kfree | Date | Thu, 6 Aug 2009 21:26:38 -0500 |
| |
On Aug 2, 2009, at 3:44 AM, Julia Lawall wrote:
> From: Julia Lawall <julia@diku.dk> > > Error handling code following a kzalloc should free the allocated > data. > > The semantic match that finds the 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 = \(kmalloc\|kzalloc\|kcalloc\)(...); > ... > if (x == NULL) S > <... when != x > when != if (...) { <+...x...+> } > ( > x->f1 = E > | > (x->f1 == NULL || ...) > | > f(...,x->f1,...) > ) > ...> > ( > return \(0\|<+...x...+>\|ptr\); > | > return@p2 ...; > ) > > @script:python@ > p1 << r.p1; > p2 << r.p2; > @@ > > print "* file: %s kmalloc %s return %s" % > (p1[0].file,p1[0].line,p2[0].line) > // </smpl> > > Signed-off-by: Julia Lawall <julia@diku.dk> > --- > arch/powerpc/sysdev/ipic.c | 4 +++- > 1 files changed, 3 insertions(+), 1 deletions(-)
applied to next
- k
| |