| commit | 01465056416874a6c4710e6f964977110023fbae | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Fri, 26 Sep 2014 12:36:18 +0000 (26 15:36 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Fri, 26 Sep 2014 12:36:18 +0000 (26 15:36 +0300) | ||
| tree | 638187e88289ab3d8d30326f24cbbe4777477209 | treesnapshot (tar.gz zip) |
| parent | ceb8c717799918dc2a2a2a0726b09cfb04e6d7f2 | commitdiff |
ranges: use the ranges stored in the database properly(ish)
We are storing ranges in the database like:
"s32min-s32max[<$0]"
We should be handling the comparison in the exact same way that
smatch_extra.c does.
This code has been tested lightly...
The only issue that I can think of right of the bat is that we aren't
actually type promoting the comparisons correct. And, in fact, there is
not enough data in the database to be able to do that. Oh well... This
is an improvement.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
We are storing ranges in the database like:
"s32min-s32max[<$0]"
We should be handling the comparison in the exact same way that
smatch_extra.c does.
This code has been tested lightly...
The only issue that I can think of right of the bat is that we aren't
actually type promoting the comparisons correct. And, in fact, there is
not enough data in the database to be able to do that. Oh well... This
is an improvement.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_ranges.c | diffblobblamehistory |