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