scripts/coccinelle: list iterator variable semantic patch
authorJulia Lawall <Julia.Lawall@lip6.fr>
Mon, 9 Jul 2012 20:40:51 +0000 (22:40 +0200)
committerMichal Marek <mmarek@suse.cz>
Fri, 13 Jul 2012 21:06:34 +0000 (23:06 +0200)
commit6fcd5f2c006496fbbb43175f2f6775f2d38bf459
tree3ca22f475e0cfb08ababef95ee347a5d7e21eba8
parentf1f455047940e59b3aea102e17ae4c0f9286aa76
scripts/coccinelle: list iterator variable semantic patch

If list_for_each_entry, etc complete a traversal of the list, the iterator
variable ends up pointing to an address at an offset from the list head,
and not a meaningful structure.  Thus this value should not be used after
the end of the iterator.

Signed-off-by: Julia Lawall <Julia.Lawall@lip6.fr>
Signed-off-by: Michal Marek <mmarek@suse.cz>
scripts/coccinelle/iterators/use_after_iter.cocci [new file with mode: 0644]