Improve our unlock_return.cocci (now finds much more candidates).
commitda3a745f7a189f94f1af72bd2b227102fa96fd3a
authorSascha Wildner <saw@online.de>
Sun, 8 Jun 2014 09:44:48 +0000 (8 11:44 +0200)
committerSascha Wildner <saw@online.de>
Sun, 8 Jun 2014 09:44:48 +0000 (8 11:44 +0200)
treefc05c19cd3898f5072d10e0f54760fc9d6bece41
parent1013402d5ed493766c4035ccba6c33acfe9ddb26
Improve our unlock_return.cocci (now finds much more candidates).

Unfortunately, the number of false positives goes up proportionally,
so careful review and re-review of the results is advised.
test/cocci/unlock_return.cocci