coccinelle: use exists to improve efficiency

This just needs to find any reassignment of the loop iterator, and doesn't
need such a thing on all execution paths, so use exists on the first rule.

Signed-off-by: Julia Lawall <julia.lawall@lip6.fr>
Signed-off-by: Masahiro Yamada <yamada.masahiro@socionext.com>
This commit is contained in:
Julia Lawall 2017-11-12 16:02:18 +01:00 committed by Masahiro Yamada
parent bace64800b
commit 6851ba1a1b

View file

@ -15,7 +15,7 @@ virtual context
virtual org
virtual report
@r@
@r exists@
iterator name list_for_each_entry;
expression x,E;
position p1,p2;