aboutsummaryrefslogtreecommitdiffstats
path: root/Documentation
diff options
context:
space:
mode:
authorNicolas Palix <npalix@diku.dk>2010-08-24 17:38:59 +0200
committerMichal Marek <mmarek@suse.cz>2010-08-31 11:37:53 +0200
commit8aa6273106756c30e5349b58eed28d93d8d88164 (patch)
tree1ca3c148c28af01655bfd69dd657b70da35e041a /Documentation
parente105007c1271243568d58c8a4285b19c8eea48d1 (diff)
downloadmrst-s0i3-test-8aa6273106756c30e5349b58eed28d93d8d88164.tar.gz
mrst-s0i3-test-8aa6273106756c30e5349b58eed28d93d8d88164.tar.xz
mrst-s0i3-test-8aa6273106756c30e5349b58eed28d93d8d88164.zip
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>
Diffstat (limited to 'Documentation')
0 files changed, 0 insertions, 0 deletions