| commit | 94af652fc79a463316fc1c6ec02d51b8ee6254e1 | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Tue, 5 Feb 2013 11:59:54 +0000 (5 14:59 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Tue, 5 Feb 2013 11:59:54 +0000 (5 14:59 +0300) | ||
| tree | 90fb5d5d1e003b6d70fad1ecf698e3fe909de947 | treesnapshot (tar.gz zip) |
| parent | ac067bde67c2e200120380b1e0e093e6bae01e69 | commitdiff |
math: don't return high values in get_fuzzy_max()
The situation is something like this:
if (x = 0; x < some_unknown_int; x++) {...
We don't know what "some_unknown_int" is but we know that x can't go past
INT_MAX - 1. But then after the loop the fuzzy max is INT_MAX.
The 10000 value is obviously just made up.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
The situation is something like this:
if (x = 0; x < some_unknown_int; x++) {...
We don't know what "some_unknown_int" is but we know that x can't go past
INT_MAX - 1. But then after the loop the fuzzy max is INT_MAX.
The 10000 value is obviously just made up.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_math.c | diffblobblamehistory |