linux-toradex.git/scripts/coccinelle/locks/double_lock.cocci, branch v4.4.78 Linux kernel for Apalis and Colibri modules Coccinelle: Update the options used to the new option scheme 2013-07-03T20:58:13+00:00 Nicolas Palix nicolas.palix@imag.fr 2013-06-20T11:10:56+00:00 93f14468491747d6d3efd0b3a42785b1d51a127a 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> 
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>
Coccinelle: Add locks/double_lock.cocci 2010-08-31T09:37:53+00:00 Nicolas Palix npalix@diku.dk 2010-08-24T15:38:59+00:00 8aa6273106756c30e5349b58eed28d93d8d88164 Find double locks. False positives may occur when some paths cannot occur at execution, due to the values of variables, and when there is an intervening 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> 
Find double locks.  False positives may occur when some paths cannot
occur at execution, due to the values of variables, and when there is
an intervening 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>