Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1751825Ab3FYNDN (ORCPT ); Tue, 25 Jun 2013 09:03:13 -0400 Received: from mail-pb0-f47.google.com ([209.85.160.47]:43906 "EHLO mail-pb0-f47.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1751076Ab3FYNDL (ORCPT ); Tue, 25 Jun 2013 09:03:11 -0400 MIME-Version: 1.0 In-Reply-To: <20130508230308.Horde.hkDwg5wWGGBzmzKnqIjUhg1@wimap.feld.cvut.cz> References: <20130508230308.Horde.hkDwg5wWGGBzmzKnqIjUhg1@wimap.feld.cvut.cz> Date: Tue, 25 Jun 2013 15:03:10 +0200 X-Google-Sender-Auth: Dzip_adrH6g5Tc-OW4-E4mIhtkU Message-ID: Subject: Re: [PATCH] scripts: Coccinelle script for pci_free_consistent() From: Nicolas Palix To: strnape1@fel.cvut.cz Cc: kernel-janitors , LKML , Coccinelle , Michal Marek , Julia Lawall Content-Type: text/plain; charset=UTF-8 Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Content-Length: 2472 Lines: 89 On Wed, May 8, 2013 at 11:03 PM, wrote: > Created coccinelle script for reporting missing pci_free_consistent() calls. > > Signed-off-by: Petr Strnad Signed-off-by: Nicolas Palix > --- > diff --git a/scripts/coccinelle/free/pci_free_consistent.cocci > b/scripts/coccinelle/free/pci_free_consistent.cocci > new file mode 100644 > index 0000000..43600cc > --- /dev/null > +++ b/scripts/coccinelle/free/pci_free_consistent.cocci > @@ -0,0 +1,52 @@ > +/// Find missing pci_free_consistent for every pci_alloc_consistent. > +/// > +// Confidence: Moderate > +// Copyright: (C) 2013 Petr Strnad. GPLv2. > +// URL: http://coccinelle.lip6.fr/ > +// Keywords: pci_free_consistent, pci_alloc_consistent > +// Options: --no-includes --include-headers > + > +virtual report > +virtual org > + > +@search@ > +local idexpression id; > +expression x,y,z,e; > +position p1,p2; > +type T; > +@@ > + > +id = pci_alloc_consistent@p1(x,y,&z) > +... when != e = id > +if (id == NULL || ...) { ... return ...; } > +... when != pci_free_consistent(x,y,id,z) > + when != if (id) { ... pci_free_consistent(x,y,id,z) ... } > > + when != if (y) { ... pci_free_consistent(x,y,id,z) ... } > + when != e = (T)id > + when exists > +( > +return 0; > +| > +return 1; > +| > +return id; > +| > +return@p2 ...; > +) > + > +@script:python depends on report@ > +p1 << search.p1; > +p2 << search.p2; > +@@ > + > +msg = "ERROR: missing pci_free_consistent; pci_alloc_consistent on line %s > and return without freeing on line %s" % (p1[0].line,p2[0].line) > +coccilib.report.print_report(p2[0],msg) > + > +@script:python depends on org@ > +p1 << search.p1; > +p2 << search.p2; > +@@ > + > +msg = "ERROR: missing pci_free_consistent; pci_alloc_consistent on line %s > and return without freeing on line %s" % (p1[0].line,p2[0].line) > +cocci.print_main(msg,p1) > +cocci.print_secs("",p2) > > > -- > To unsubscribe from this list: send the line "unsubscribe kernel-janitors" > in > the body of a message to majordomo@vger.kernel.org > More majordomo info at http://vger.kernel.org/majordomo-info.html -- Nicolas Palix Tel: +33 4 76 51 46 27 http://membres-liglab.imag.fr/palix/ -- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/