| commit | 1da9d7e1760cda0a06722a007782cac369bb2fc8 | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Wed, 17 Feb 2016 10:26:25 +0000 (17 13:26 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Wed, 17 Feb 2016 10:26:25 +0000 (17 13:26 +0300) | ||
| tree | fb1cd4d3fe062b49348cf2e72311e182431ec5a3 | treesnapshot (tar.gz zip) |
| parent | 9c26879369706ccc3b183f53b8c5388ad7401021 | commitdiff |
locking: don't warn about impossible paths
If we have code like:
lock();
var = 1;
if (var)
unlock();
Then, since we know that var is always set it means we can ignore the false
path.
Reported-by: Oleg Drokin <green@linuxhacker.ru>
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
If we have code like:
lock();
var = 1;
if (var)
unlock();
Then, since we know that var is always set it means we can ignore the false
path.
Reported-by: Oleg Drokin <green@linuxhacker.ru>
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| check_locking.c | diffblobblamehistory | |
| validation/sm_locking.c | diffblobblamehistory |