Re: [Cocci] [PATCH]scripts/coccinelle/iterators/use_after_iter.cocci: list iterator variablesemantic patch

From: Artem Bityutskiy
Date: Wed Jul 18 2012 - 09:12:57 EST


On Mon, 2012-07-09 at 22:40 +0200, Julia Lawall wrote:
> From: Julia Lawall <Julia.Lawall@xxxxxxx>
>
> 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@xxxxxxx>

Acked-by: Artem Bityutskiy <artem.bityutskiy@xxxxxxxxxxxxxxx>

--
Best Regards,
Artem Bityutskiy

Attachment: signature.asc
Description: This is a digitally signed message part