| /// Find missing iounmaps. |
| //# This only signals a missing iounmap when there is an iounmap later |
| //# in the same function. |
| //# False positives can be due to loops. |
| // Copyright: (C) 2012 Julia Lawall, INRIA/LIP6. GPLv2. |
| // Copyright: (C) 2012 Gilles Muller, INRIA/LiP6. GPLv2. |
| // URL: http://coccinelle.lip6.fr/ |
| e = \(ioremap@p1\|ioremap_nocache@p1\)(...) |
| when != if (...) { ... iounmap(e); ... } |
| @script:python depends on org@ |
| cocci.print_main("ioremap",p1) |
| cocci.print_secs("if",p2) |
| cocci.print_secs("needed iounmap",p3) |
| @script:python depends on report@ |
| msg = "ERROR: missing iounmap; ioremap on line %s and execution via conditional on line %s" % (p1[0].line,p2[0].line) |
| coccilib.report.print_report(p3[0],msg) |