| commit | 53a9654f925fa10e7262ae348259f900b9138e18 | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Thu, 7 Mar 2013 11:25:04 +0000 (7 14:25 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Thu, 7 Mar 2013 11:25:04 +0000 (7 14:25 +0300) | ||
| tree | d0f1f7eb3b14eb2789075469c4ffd1e8e5882c0f | treesnapshot (tar.gz zip) |
| parent | 1dcfc9fdad6d68a13cd39815943361b64c4a0d6c | commitdiff |
compare: handle some assignments
x = y;
This means x == y.
x = y - z;
If z is between 0 and y then x is less than y.
x = y + z;
If this doesn't rap and both y and z are positive then this means x is
greater than y and greater than z.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
x = y;
This means x == y.
x = y - z;
If z is between 0 and y then x is less than y.
x = y + z;
If this doesn't rap and both y and z are positive then this means x is
greater than y and greater than z.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_comparison.c | diffblobblamehistory | |
| validation/sm_compare3.c | [new file with mode: 0644] | blob |