1/// Find missing pci_free_consistent for every pci_alloc_consistent. 2/// 3// Confidence: Moderate 4// Copyright: (C) 2013 Petr Strnad. GPLv2. 5// URL: http://coccinelle.lip6.fr/ 6// Keywords: pci_free_consistent, pci_alloc_consistent 7// Options: --no-includes --include-headers 8 9virtual report 10virtual org 11 12@search@ 13local idexpression id; 14expression x,y,z,e; 15position p1,p2; 16type T; 17@@ 18 19id = pci_alloc_consistent@p1(x,y,&z) 20... when != e = id 21if (id == NULL || ...) { ... return ...; } 22... when != pci_free_consistent(x,y,id,z) 23 when != if (id) { ... pci_free_consistent(x,y,id,z) ... } 24 when != if (y) { ... pci_free_consistent(x,y,id,z) ... } 25 when != e = (T)id 26 when exists 27( 28return 0; 29| 30return 1; 31| 32return id; 33| 34return@p2 ...; 35) 36 37@script:python depends on report@ 38p1 << search.p1; 39p2 << search.p2; 40@@ 41 42msg = "ERROR: missing pci_free_consistent; pci_alloc_consistent on line %s and return without freeing on line %s" % (p1[0].line,p2[0].line) 43coccilib.report.print_report(p2[0],msg) 44 45@script:python depends on org@ 46p1 << search.p1; 47p2 << search.p2; 48@@ 49 50msg = "ERROR: missing pci_free_consistent; pci_alloc_consistent on line %s and return without freeing on line %s" % (p1[0].line,p2[0].line) 51cocci.print_main(msg,p1) 52cocci.print_secs("",p2) 53