3 commits

Author	SHA1	Message	Date
Nicolas Palix	93f1446849	Coccinelle: Update the options used to the new option scheme ... 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 <nicolas.palix@imag.fr> Signed-off-by: Michal Marek <mmarek@suse.cz>	2013-07-03 22:58:13 +02:00
Julia Lawall	29a36d4dec	scripts/coccinelle: improve the coverage of some semantic patches ... 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 <Julia.Lawall@lip6.fr> Signed-off-by: Michal Marek <mmarek@suse.cz>	2012-01-15 00:05:46 +01:00
Nicolas Palix	54c056280e	Coccinelle: Add locks/mini_lock.cocci ... Find missing unlocks. This semantic match considers the specific case where the unlock is missing from an if branch, and there is a lock before the if and an unlock after the if. False positives are due to cases where the if branch represents a case where the function is supposed to exit with the lock held, or where there is some preceding function call that releases the lock. Signed-off-by: Nicolas Palix <npalix@diku.dk> Signed-off-by: Julia Lawall <julia@diku.dk> Signed-off-by: Michal Marek <mmarek@suse.cz>	2010-08-31 11:37:53 +02:00