| commit | 5b5b9e97f049f55303545822643e8b4ae9a33fde | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Tue, 15 Aug 2017 10:33:30 +0000 (15 13:33 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Tue, 15 Aug 2017 10:33:30 +0000 (15 13:33 +0300) | ||
| tree | f35e223bf4475af9f96c34d3389ed7c100c5ca45 | treesnapshot (tar.gz zip) |
| parent | 6a84d0a575348d94cb94b213eff0b96ffde819c3 | commitdiff |
extra: do more simple algebra
Before we did move_known_stuff() to the right hand side of the comparison,
but what is often interesting is if you have:
if (bar > limit || foo + bar > limit)
return -EINVAL;
In that case, we want to specify that we know that foo <= limit as well.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
Before we did move_known_stuff() to the right hand side of the comparison,
but what is often interesting is if you have:
if (bar > limit || foo + bar > limit)
return -EINVAL;
In that case, we want to specify that we know that foo <= limit as well.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_extra.c | diffblobblamehistory |