| commit | fe186f5d9bc4168cb2fdb6427dd997385e21f7c8 | |
| author | Dan Carpenter <error27@gmail.com> | |
| Wed, 15 Apr 2009 14:56:04 +0000 (15 17:56 +0300) | ||
| committer | Dan Carpenter <error27@gmail.com> | |
| Wed, 15 Apr 2009 14:56:04 +0000 (15 17:56 +0300) | ||
| tree | 5c2875da9cd050ec9490b5ac064d57cd2e39cbbe | treesnapshot (tar.gz zip) |
| parent | a8ea1f4ce8d40f80c59607f72aaa9c45539621b7 | commitdiff |
Store the implications for return_implies_state() assignments.
We already did this for conditional functions but we needed to do it for
the new return implies state functions.
foo = try_lock();
if (foo < 0)
return;
Signed-off-by: Dan Carpenter <error27@gmail.com>
We already did this for conditional functions but we needed to do it for
the new return implies state functions.
foo = try_lock();
if (foo < 0)
return;
Signed-off-by: Dan Carpenter <error27@gmail.com>
| smatch_extra.h | diffblobblamehistory | |
| smatch_function_hooks.c | diffblobblamehistory | |
| smatch_ranges.c | diffblobblamehistory |