forked from torvalds/linux
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
[PATCH] scripts: Coccinelle script for pci_free_consistent()
Created coccinelle script for reporting missing pci_free_consistent() calls. Signed-off-by: Petr Strnad <strnape1@fel.cvut.cz>
- Loading branch information
Dragonkin
authored and
Dragonkin
committed
May 8, 2013
1 parent
5af43c2
commit cf17141
Showing
1 changed file
with
52 additions
and
0 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -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) |