| commit | e284e02b432c8f87068e82483a39f56fbcc4bbf2 | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Fri, 6 Dec 2013 10:18:54 +0000 (6 13:18 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Fri, 6 Dec 2013 10:18:54 +0000 (6 13:18 +0300) | ||
| tree | 0ae5b595ba484271bb2beea4bcc57e323a09d202 | treesnapshot (tar.gz zip) |
| parent | 805934d8e79ade2d463c6d1a3daeb708ea14a296 | commitdiff |
math: fix get_fuzzy_min/max()
Internally smatch_math.c uses range lists from fuzzy_min to fuzzy_max and
then it returns the min or max after it has calculated the range list.
The problem is that fuzzy_min was being calculated wrong so it was often
returning implied_max instead.
Fixing fuzzy_min fixes fuzzy_max which we do care about.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
Internally smatch_math.c uses range lists from fuzzy_min to fuzzy_max and
then it returns the min or max after it has calculated the range list.
The problem is that fuzzy_min was being calculated wrong so it was often
returning implied_max instead.
Fixing fuzzy_min fixes fuzzy_max which we do care about.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_math.c | diffblobblamehistory |