| commit | 72020e73033b4f67ad90f69e8faf4835fcb2293a | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Wed, 22 May 2013 10:35:32 +0000 (22 13:35 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Wed, 22 May 2013 10:35:32 +0000 (22 13:35 +0300) | ||
| tree | 7dda30e53c82e04a97008ba46e6e0360feb03f3a | treesnapshot (tar.gz zip) |
| parent | a61eefe217eb4fb7658433350dcb856b1cbbf91f | commitdiff |
estate: preserve the hard max in estate_filter_range()
If we have:
/* start counting at 1 */
if (x > ARRAY_SIZE(foo) || x == 0)
return -EINVAL;
__smatch_hard_max(x);
The second condition does uses estate_filter_range() and we want to
preserve the hard max from the first bit.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
If we have:
/* start counting at 1 */
if (x > ARRAY_SIZE(foo) || x == 0)
return -EINVAL;
__smatch_hard_max(x);
The second condition does uses estate_filter_range() and we want to
preserve the hard max from the first bit.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_estate.c | diffblobblamehistory |