| /// Many iterators have the property that the first argument is always bound |
| /// to a real list element, never NULL. |
| //# False positives arise for some iterators that do not have this property, |
| //# or in cases when the loop cursor is reassigned. The latter should only |
| //# happen when the matched code is on the way to a loop exit (break, goto, |
| // Copyright: (C) 2010-2012 Nicolas Palix. GPLv2. |
| // Copyright: (C) 2010-2012 Julia Lawall, INRIA/LIP6. GPLv2. |
| // Copyright: (C) 2010-2012 Gilles Muller, INRIA/LiP6. GPLv2. |
| // URL: http://coccinelle.lip6.fr/ |
| // Options: -no_includes -include_headers |
| - if (x == NULL && ...) S |
| - (x == NULL && ...) ? E1 : |
| - if (x == NULL && ...) S1 else |
| @r depends on !patch exists@ |
| @script:python depends on org@ |
| cocci.print_main("iterator-bound variable",p1) |
| cocci.print_secs("useless NULL test",p2) |
| @script:python depends on report@ |
| msg = "ERROR: iterator variable bound on line %s cannot be NULL" % (p1[0].line) |
| coccilib.report.print_report(p2[0], msg) |