linux-toradex.git/scripts/coccinelle/iterators, branch v4.15

coccinelle: use exists to improve efficiency

2017-11-14T14:21:16+00:00

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 
Signed-off-by: Masahiro Yamada

scripts/coccinelle: require coccinelle >= 1.0.4 on device_node_continue.cocci

2016-07-22T10:13:39+00:00

Make use of the new Requires: tag to be able to specify coccinelle binary
version requirements. The cocci file device_node_continue.cocci requires at
least coccinelle 1.0.4.

Signed-off-by: Luis R. Rodriguez 
Acked-by: Julia Lawall 
Acked-by: Nicolas Palix 
Signed-off-by: Michal Marek

scripts/coccinelle: modernize &

2016-02-18T10:49:30+00:00

& is no longer allowed in column 0, since Coccinelle 1.0.4.

Signed-off-by: Julia Lawall 
Tested-by: Nishanth Menon 
Cc: stable@vger.kernel.org
Signed-off-by: Michal Marek

cocinelle: iterators: semantic patch to delete unneeded of_node_put

2015-10-26T21:39:11+00:00

Device node iterators perform an of_node_put on each iteration, so putting
an of_node_put before a continue results in a double put.

Signed-off-by: Julia Lawall 
Signed-off-by: Michal Marek

Coccinelle: Update the options used to the new option scheme

2013-07-03T20:58:13+00:00

spatch has changed its option scheme.
E.g., --no_show_diff is now --no-show-diff

This patch updates:
 - scripts/coccicheck
 - Semantic patches under scripts/coccinelle/

Signed-off-by: Nicolas Palix 
Signed-off-by: Michal Marek

scripts/coccinelle: list iterator variable semantic patch

2012-07-13T21:06:34+00:00

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 
Signed-off-by: Michal Marek

scripts/coccinelle: improve the coverage of some semantic patches

2012-01-14T23:05:46+00:00

This patch ensures that all semantic patches in the scripts/coccinelle
directory provide the report option.  Report messages that include line
numbers now have the line number preceded by "line" for easier subsequent
processing.

Signed-off-by: Julia Lawall 
Signed-off-by: Michal Marek

Coccinelle: Add iterators/list_entry_update.cocci

2010-08-31T09:37:53+00:00

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 
Signed-off-by: Julia Lawall 
Signed-off-by: Michal Marek

Coccinelle: Add iterators/itnull.cocci

2010-08-31T09:37:53+00:00

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 
Signed-off-by: Julia Lawall 
Signed-off-by: Michal Marek

Coccinelle: Add iterators/fen.cocci

2010-08-31T09:37:53+00:00

for_each_node iterators only exit normally when the loop cursor is
NULL, so there is no point to call of_node_put on the final value.

Signed-off-by: Nicolas Palix 
Signed-off-by: Julia Lawall 
Signed-off-by: Michal Marek