17f904d7eSThomas Gleixner// SPDX-License-Identifier: GPL-2.0-only 2f7b16711Sstrnape1@fel.cvut.cz/// Find missing pci_free_consistent for every pci_alloc_consistent. 3f7b16711Sstrnape1@fel.cvut.cz/// 4f7b16711Sstrnape1@fel.cvut.cz// Confidence: Moderate 57f904d7eSThomas Gleixner// Copyright: (C) 2013 Petr Strnad. 6*f01701ceSJulia Lawall// URL: https://coccinelle.gitlabpages.inria.fr/website 7f7b16711Sstrnape1@fel.cvut.cz// Keywords: pci_free_consistent, pci_alloc_consistent 8f7b16711Sstrnape1@fel.cvut.cz// Options: --no-includes --include-headers 9f7b16711Sstrnape1@fel.cvut.cz 10f7b16711Sstrnape1@fel.cvut.czvirtual report 11f7b16711Sstrnape1@fel.cvut.czvirtual org 12f7b16711Sstrnape1@fel.cvut.cz 13f7b16711Sstrnape1@fel.cvut.cz@search@ 14f7b16711Sstrnape1@fel.cvut.czlocal idexpression id; 15f7b16711Sstrnape1@fel.cvut.czexpression x,y,z,e; 16f7b16711Sstrnape1@fel.cvut.czposition p1,p2; 17f7b16711Sstrnape1@fel.cvut.cztype T; 18f7b16711Sstrnape1@fel.cvut.cz@@ 19f7b16711Sstrnape1@fel.cvut.cz 20f7b16711Sstrnape1@fel.cvut.czid = pci_alloc_consistent@p1(x,y,&z) 21f7b16711Sstrnape1@fel.cvut.cz... when != e = id 22f7b16711Sstrnape1@fel.cvut.czif (id == NULL || ...) { ... return ...; } 23f7b16711Sstrnape1@fel.cvut.cz... when != pci_free_consistent(x,y,id,z) 24f7b16711Sstrnape1@fel.cvut.cz when != if (id) { ... pci_free_consistent(x,y,id,z) ... } 25f7b16711Sstrnape1@fel.cvut.cz when != if (y) { ... pci_free_consistent(x,y,id,z) ... } 26f7b16711Sstrnape1@fel.cvut.cz when != e = (T)id 27f7b16711Sstrnape1@fel.cvut.cz when exists 28f7b16711Sstrnape1@fel.cvut.cz( 29f7b16711Sstrnape1@fel.cvut.czreturn 0; 30f7b16711Sstrnape1@fel.cvut.cz| 31f7b16711Sstrnape1@fel.cvut.czreturn 1; 32f7b16711Sstrnape1@fel.cvut.cz| 33f7b16711Sstrnape1@fel.cvut.czreturn id; 34f7b16711Sstrnape1@fel.cvut.cz| 35f7b16711Sstrnape1@fel.cvut.czreturn@p2 ...; 36f7b16711Sstrnape1@fel.cvut.cz) 37f7b16711Sstrnape1@fel.cvut.cz 38f7b16711Sstrnape1@fel.cvut.cz@script:python depends on report@ 39f7b16711Sstrnape1@fel.cvut.czp1 << search.p1; 40f7b16711Sstrnape1@fel.cvut.czp2 << search.p2; 41f7b16711Sstrnape1@fel.cvut.cz@@ 42f7b16711Sstrnape1@fel.cvut.cz 43f7b16711Sstrnape1@fel.cvut.czmsg = "ERROR: missing pci_free_consistent; pci_alloc_consistent on line %s and return without freeing on line %s" % (p1[0].line,p2[0].line) 44f7b16711Sstrnape1@fel.cvut.czcoccilib.report.print_report(p2[0],msg) 45f7b16711Sstrnape1@fel.cvut.cz 46f7b16711Sstrnape1@fel.cvut.cz@script:python depends on org@ 47f7b16711Sstrnape1@fel.cvut.czp1 << search.p1; 48f7b16711Sstrnape1@fel.cvut.czp2 << search.p2; 49f7b16711Sstrnape1@fel.cvut.cz@@ 50f7b16711Sstrnape1@fel.cvut.cz 51f7b16711Sstrnape1@fel.cvut.czmsg = "ERROR: missing pci_free_consistent; pci_alloc_consistent on line %s and return without freeing on line %s" % (p1[0].line,p2[0].line) 52f7b16711Sstrnape1@fel.cvut.czcocci.print_main(msg,p1) 53f7b16711Sstrnape1@fel.cvut.czcocci.print_secs("",p2) 54