/// 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. // // Confidence: Moderate // Copyright: (C) 2012 Julia Lawall, INRIA/LIP6. GPLv2. // Copyright: (C) 2012 Gilles Muller, INRIA/LiP6. GPLv2. // URL: http://coccinelle.lip6.fr/ // Comments: // Options: virtual context virtual org virtual report @iom@ expression e; statement S,S1; int ret; position p1,p2,p3; @@ e = \(ioremap@p1\|ioremap_nocache@p1\)(...) ... when != iounmap(e) if (<+...e...+>) S ... when any when != iounmap(e) when != if (...) { ... iounmap(e); ... } ( if (ret == 0) S1 | if (...) { ... return 0; } | if (...) { ... return <+...e...+>; } | *if@p2 (...) { ... when != iounmap(e) when forall return@p3 ...; } ) ... when any iounmap(e); @script:python depends on org@ p1 << iom.p1; p2 << iom.p2; p3 << iom.p3; @@ cocci.print_main("ioremap",p1) cocci.print_secs("if",p2) cocci.print_secs("needed iounmap",p3) @script:python depends on report@ p1 << iom.p1; p2 << iom.p2; p3 << iom.p3; @@ 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) mp-back</option> </select> <input type='submit' value='switch'/></form></td></tr> <tr><td class='sub'>net-next plumbings</td><td class='sub right'>Tobias Klauser</td></tr></table> <table class='tabs'><tr><td> <a href='/cgit.cgi/linux/net-next.git/'>summary</a><a href='/cgit.cgi/linux/net-next.git/refs/?id=635b8c8ecdd27142d7fdab0df334b2e9201481cf'>refs</a><a class='active' href='/cgit.cgi/linux/net-next.git/log/include/drm/drm_fb_cma_helper.h'>log</a><a href='/cgit.cgi/linux/net-next.git/tree/include/drm/drm_fb_cma_helper.h?id=635b8c8ecdd27142d7fdab0df334b2e9201481cf'>tree</a><a href='/cgit.cgi/linux/net-next.git/commit/include/drm/drm_fb_cma_helper.h?id=635b8c8ecdd27142d7fdab0df334b2e9201481cf'>commit</a><a href='/cgit.cgi/linux/net-next.git/diff/include/drm/drm_fb_cma_helper.h?id=635b8c8ecdd27142d7fdab0df334b2e9201481cf'>diff</a></td><td class='form'><form class='right' method='get' action='/cgit.cgi/linux/net-next.git/log/include/drm/drm_fb_cma_helper.h'> <input type='hidden' name='id' value='635b8c8ecdd27142d7fdab0df334b2e9201481cf'/><select name='qt'> <option value='grep'>log msg</option> <option value='author'>author</option> <option value='committer'>committer</option> <option value='range'>range</option> </select> <input class='txt' type='search' size='10' name='q' value=''/> <input type='submit' value='search'/> </form> </td></tr></table> <div class='path'>path: <a href='/cgit.cgi/linux/net-next.git/log/?id=635b8c8ecdd27142d7fdab0df334b2e9201481cf'>root</a>/<a href='/cgit.cgi/linux/net-next.git/log/include?id=635b8c8ecdd27142d7fdab0df334b2e9201481cf'>include</a>/<a href='/cgit.cgi/linux/net-next.git/log/include/drm?id=635b8c8ecdd27142d7fdab0df334b2e9201481cf'>drm</a>/<a href='/cgit.cgi/linux/net-next.git/log/include/drm/drm_fb_cma_helper.h?id=635b8c8ecdd27142d7fdab0df334b2e9201481cf'>drm_fb_cma_helper.h</a></div><div class='content'><table class='list nowrap'><tr class='nohover'><th class='left'>Age</th><th class='left'>Commit message (<a href='/cgit.cgi/linux/net-next.git/log/include/drm/drm_fb_cma_helper.h?id=635b8c8ecdd27142d7fdab0df334b2e9201481cf&showmsg=1'>Expand</a>)</th><th class='left'>Author</th><th class='left'>Files</th><th class='left'>Lines</th></tr>