kernel/scripts/coccinelle/locks/flags.cocci, branch linux-5.1.y

Coccinelle: Update the options used to the new option scheme

2013-07-03T20:58:13Z

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: improve the coverage of some semantic patches

2012-01-14T23:05:46Z

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: Find nested lock+irqsave functions that use the same flags variables.

2010-10-27T22:32:22Z

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