| /// 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, or return). |
| // Copyright: (C) 2010 Nicolas Palix, DIKU. GPLv2. |
| // Copyright: (C) 2010 Julia Lawall, DIKU. GPLv2. |
| // Copyright: (C) 2010 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 |