linux-toradex.git/scripts/coccinelle/locks/double_lock.cocci, branch v3.2.62 Linux kernel for Apalis and Colibri modules 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>