FM / free

/usr/src/linux-headers-5.15.0-190/scripts/coccinelle/free/

/usr/src/linux-headers-5.15.0-190/scripts/coccinelle/free

Name	Size	Mode	Actions
clk_put.cocci	1280	0644	edit dl rm
devm_free.cocci	2565	0644	edit dl rm
ifnullfree.cocci	1322	0644	edit dl rm
iounmap.cocci	1285	0644	edit dl rm
kfree.cocci	1849	0644	edit dl rm
kfreeaddr.cocci	625	0644	edit dl rm
pci_free_consistent.cocci	1287	0644	edit dl rm
put_device.cocci	1336	0644	edit dl rm

Edit: /usr/src/linux-headers-5.15.0-190/scripts/coccinelle/free/pci_free_consistent.cocci (1287B)

// SPDX-License-Identifier: GPL-2.0-only
/// Find missing pci_free_consistent for every pci_alloc_consistent.
///
// Confidence: Moderate
// Copyright: (C) 2013 Petr Strnad.
// 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)

cmd: