kernel.git/scripts/coccinelle/locks/mini_lock.cocci, branch linux-3.8.yHosts the 0x221E linux distro kernel.
https://git.0xinfinity.dev/distro/kernel.git/atom?h=linux-3.8.y2012-01-14T23:05:46Zscripts/coccinelle: improve the coverage of some semantic patches2012-01-14T23:05:46ZJulia Lawall2012-01-14T22:41:54Zurn:sha1:29a36d4dec6cf7ad72e6e3337bf954096cbbb4cf
This patch ensures that all semantic patches in the scripts/coccinelle
directory provide the report option. Report messages that include line
numbers now have the line number preceded by "line" for easier subsequent
processing.
Signed-off-by: Julia Lawall <Julia.Lawall@lip6.fr>
Signed-off-by: Michal Marek <mmarek@suse.cz>
Coccinelle: Add locks/mini_lock.cocci2010-08-31T09:37:53ZNicolas Palix2010-08-24T15:39:00Zurn:sha1:54c056280e0dfcd39b33c4ed75116ce98697511c
Find missing unlocks. This semantic match considers the specific case
where the unlock is missing from an if branch, and there is a lock
before the if and an unlock after the if. False positives are due to
cases where the if branch represents a case where the function is
supposed to exit with the lock held, or where there is some preceding
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>