projects / cascardo / linux.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e105007) | patch
Coccinelle: Add locks/double_lock.cocci
authorNicolas Palix <npalix@diku.dk>
Tue, 24 Aug 2010 15:38:59 +0000 (17:38 +0200)
committerMichal Marek <mmarek@suse.cz>
Tue, 31 Aug 2010 09:37:53 +0000 (11:37 +0200)
commit8aa6273106756c30e5349b58eed28d93d8d88164
tree1ca3c148c28af01655bfd69dd657b70da35e041atree | snapshot
parente105007c1271243568d58c8a4285b19c8eea48d1commit | diff
Coccinelle: Add locks/double_lock.cocci

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>
scripts/coccinelle/locks/double_lock.cocci [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.