| commit | 4c4ece4d3a22a542dc6fe75171c4d299721353d5 | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Thu, 26 Mar 2015 14:37:18 +0000 (26 17:37 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Thu, 26 Mar 2015 14:37:18 +0000 (26 17:37 +0300) | ||
| tree | cd447e3baee150f56044641a0da08d37c61727fa | treesnapshot (tar.gz zip) |
| parent | ad8bf3611defb208883c6fef95a3a9eae393778e | commitdiff |
comparison: unsigned can not be less than zero
Say you have a comparison:
if (foo > 0)
The false state is not "foo <= 0" it is just "foo == 0".
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
Say you have a comparison:
if (foo > 0)
The false state is not "foo <= 0" it is just "foo == 0".
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_comparison.c | diffblobblamehistory |