| commit | becf4d970c3a550a537b7df809712cd4eff86b94 | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Wed, 21 Feb 2018 08:54:32 +0000 (21 11:54 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Wed, 21 Feb 2018 08:54:32 +0000 (21 11:54 +0300) | ||
| tree | a89c0a5f705e82d0186b1cd11cd9cee37b5b40a2 | treesnapshot (tar.gz zip) |
| parent | 4269ce4b5ab0b0fc64d32a8dc43ce82707290a44 | commitdiff |
implied: use assume() even if there are no implications
I'm basically using this to take "array[offset];" and I say let's assume
that "offset" is out of bounds. Then I check that it doesn't cause an
impossible condition. Even if there are no "implications" (as in we
haven't encountered that exact condition before) the new stree can still
be useful.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
I'm basically using this to take "array[offset];" and I say let's assume
that "offset" is out of bounds. Then I check that it doesn't cause an
impossible condition. Even if there are no "implications" (as in we
haven't encountered that exact condition before) the new stree can still
be useful.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_implied.c | diffblobblamehistory |