| commit | 7718fcbdbfed20bd6bcb06b7fc06cb8403076227 | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Thu, 6 Nov 2014 13:50:28 +0000 (6 16:50 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Thu, 6 Nov 2014 13:50:28 +0000 (6 16:50 +0300) | ||
| tree | 311ddadc45693eafc3eba55266a263f1fc000302 | treesnapshot (tar.gz zip) |
| parent | 199eac022e9d27f11ea7f85219fe64eeb812f55e | commitdiff |
core: s64max is not a valid pointer
First of all s64max is not a valid pointer. Second if we say it is and
then we encounter "foo = (void *)p + 1;", then smatch thinks that can
have an integer overflow and that "foo" is s64min-s64max.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
First of all s64max is not a valid pointer. Second if we say it is and
then we encounter "foo = (void *)p + 1;", then smatch thinks that can
have an integer overflow and that "foo" is s64min-s64max.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch.h | diffblobblamehistory | |
| smatch_data/db/fixup_kernel.sh | diffblobblamehistory | |
| smatch_flow.c | diffblobblamehistory | |
| smatch_ranges.c | diffblobblamehistory |