| commit | ebe4f074f7ee4c7c8e25cb525732da3200c2e811 | |
| author | Dan Carpenter <error27@gmail.com> | |
| Wed, 8 Apr 2009 14:02:27 +0000 (8 17:02 +0300) | ||
| committer | Dan Carpenter <error27@gmail.com> | |
| Wed, 8 Apr 2009 14:02:27 +0000 (8 17:02 +0300) | ||
| tree | 127b7750cbdfde38bedeb6d9be15184a33a3fcad | treesnapshot (tar.gz zip) |
| parent | 078d486ff8b6b2dd10c6e38e41c87ceb3c06d962 | commitdiff |
handle if conditional functions are assigned
There is some code that does:
foo = try_lock();
if (!foo)
return;
frob();
unlock();
The if (!foo) { implies that we return if we're not locked. Smatch
didn't handle this case properly before.
Signed-off-by: Dan Carpenter <error27@gmail.com>
There is some code that does:
foo = try_lock();
if (!foo)
return;
frob();
unlock();
The if (!foo) { implies that we return if we're not locked. Smatch
didn't handle this case properly before.
Signed-off-by: Dan Carpenter <error27@gmail.com>
| smatch.h | diffblobblamehistory | |
| smatch_extra.c | diffblobblamehistory | |
| smatch_extra.h | diffblobblamehistory | |
| smatch_function_hooks.c | diffblobblamehistory | |
| smatch_states.c | diffblobblamehistory |