Coccinelle: Add iterators/itnull.cocci
authorNicolas Palix <npalix@diku.dk>
Tue, 24 Aug 2010 15:39:02 +0000 (17:39 +0200)
committerMichal Marek <mmarek@suse.cz>
Tue, 31 Aug 2010 09:37:53 +0000 (11:37 +0200)
commitafc48a82fafe55dbeeaf7c0d83d29cf279cb1c70
tree5d6c5ff7aa828aeb7d3470ee969c6888526d5ee1
parent4045159253a49a56d117148d67bc86a72762a0d3
Coccinelle: Add iterators/itnull.cocci

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).

Signed-off-by: Nicolas Palix <npalix@diku.dk>
Signed-off-by: Julia Lawall <julia@diku.dk>
Signed-off-by: Michal Marek <mmarek@suse.cz>
scripts/coccinelle/iterators/itnull.cocci [new file with mode: 0644]