Coccinelle: Add iterators/list_entry_update.cocci
authorNicolas Palix <npalix@diku.dk>
Tue, 24 Aug 2010 15:39:03 +0000 (17:39 +0200)
committerMichal Marek <mmarek@suse.cz>
Tue, 31 Aug 2010 09:37:53 +0000 (11:37 +0200)
commit5c34050188f5e3db7f8137d819ecbb7d9327dd93
tree132bb860a3785e43ed14ac6c5a3d68027bf21c35
parentafc48a82fafe55dbeeaf7c0d83d29cf279cb1c70
Coccinelle: Add iterators/list_entry_update.cocci

list_for_each_entry uses its first argument to get from one element of
the list to the next, so it is usually not a good idea to reassign it.
The first rule finds such a reassignment and the second rule checks
that there is a path from the reassignment back to the top of the loop.

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/list_entry_update.cocci [new file with mode: 0644]