| commit | 8aa6273106756c30e5349b58eed28d93d8d88164 | [log] [tgz] |
|---|---|---|
| author | Nicolas Palix <npalix@diku.dk> | Tue Aug 24 17:38:59 2010 +0200 |
| committer | Michal Marek <mmarek@suse.cz> | Tue Aug 31 11:37:53 2010 +0200 |
| tree | 1ca3c148c28af01655bfd69dd657b70da35e041a | |
| 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>