| commit | fcd94c661e34dc018353efff7816cb2ba9d0a74a | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Thu, 10 Mar 2016 08:33:05 +0000 (10 11:33 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Thu, 10 Mar 2016 08:33:05 +0000 (10 11:33 +0300) | ||
| tree | a422170f3f03e26d9b9dbee1effeeba3acccc9aa | treesnapshot (tar.gz zip) |
| parent | a59b7c28397c5ab664b94e7e058df558bf754561 | commitdiff |
implied: introduce assume(condition)
What this does is it looks up the implications of a condition and then
sets up a fake cur_stree as if those conditions are true. If it returns
zero that means it didn't find any implications so it didn't do anything.
Call end_assume() to free the fake cur_stree.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
What this does is it looks up the implications of a condition and then
sets up a fake cur_stree as if those conditions are true. If it returns
zero that means it didn't find any implications so it didn't do anything.
Call end_assume() to free the fake cur_stree.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch.h | diffblobblamehistory | |
| smatch_implied.c | diffblobblamehistory |