linux-toradex.git/scripts/coccinelle/locks/mini_lock.cocci, branch v3.2.62 Linux kernel for Apalis and Colibri modules Coccinelle: Add locks/mini_lock.cocci 2010-08-31T09:37:53+00:00 Nicolas Palix npalix@diku.dk 2010-08-24T15:39:00+00:00 54c056280e0dfcd39b33c4ed75116ce98697511c 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> 
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>