kernel.git/scripts/coccinelle/locks/double_lock.cocci, branch linux-3.7.y Hosts the 0x221E linux distro kernel. https://git.0xinfinity.dev/distro/kernel.git/atom?h=linux-3.7.y 2010-08-31T09:37:53Z Coccinelle: Add locks/double_lock.cocci 2010-08-31T09:37:53Z Nicolas Palix 2010-08-24T15:38:59Z urn:sha1: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>