diff options
| author | Nicolas Palix <npalix@diku.dk> | 2010-08-24 17:38:59 +0200 |
|---|---|---|
| committer | Michal Marek <mmarek@suse.cz> | 2010-08-31 11:37:53 +0200 |
| commit | 8aa6273106756c30e5349b58eed28d93d8d88164 (patch) | |
| tree | 1ca3c148c28af01655bfd69dd657b70da35e041a /scripts/coccinelle/locks/mini_lock.cocci | |
| parent | e105007c1271243568d58c8a4285b19c8eea48d1 (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>
Diffstat (limited to 'scripts/coccinelle/locks/mini_lock.cocci')
0 files changed, 0 insertions, 0 deletions