| commit | 683d58233b8d4a4092b2f6e692ff6b54d032664f | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Mon, 4 Feb 2013 08:00:34 +0000 (4 11:00 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Mon, 4 Feb 2013 08:00:34 +0000 (4 11:00 +0300) | ||
| tree | 5b410bad5c7364e283d33c4c7c604a791a4477a7 | treesnapshot (tar.gz zip) |
| parent | 6a1309367ebc68ee5a27071702cad19e05bd9a4c | commitdiff |
math: get_implied_max() should be able to return s32max
When I changed get_implied_min() I said that get_implied_max() could return
s32max but it turns out that it couldn't. It should do.
The reason we want this to work is because there are times when we know
either the upper bound or the lower bound. With the old code we ended up
discarding both sides when we tried to use the information for math.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
When I changed get_implied_min() I said that get_implied_max() could return
s32max but it turns out that it couldn't. It should do.
The reason we want this to work is because there are times when we know
either the upper bound or the lower bound. With the old code we ended up
discarding both sides when we tried to use the information for math.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_math.c | diffblobblamehistory |