| commit | aa319b76c34bbfeb3db7bf04fa24e1d20a1caead | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Mon, 18 Jul 2016 09:36:59 +0000 (18 12:36 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Mon, 18 Jul 2016 09:36:59 +0000 (18 12:36 +0300) | ||
| tree | 18b2e860b463c3eb2768c2934918053c5ed385cb | treesnapshot (tar.gz zip) |
| parent | 8ed668bd420adb8d090e49d5cbe64ab26e22e679 | commitdiff |
extra: handle "if (a + b < a) { "
For these kinds of conditions we want to record that "a + b" is <= UINT_MAX
or ULLONG_MAX depending on the type of "a + b".
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
For these kinds of conditions we want to record that "a + b" is <= UINT_MAX
or ULLONG_MAX depending on the type of "a + b".
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_extra.c | diffblobblamehistory |