| commit | dff9973104743699f18cfa0f3767aed9237a5561 | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Tue, 23 May 2017 08:40:22 +0000 (23 11:40 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Tue, 23 May 2017 08:40:22 +0000 (23 11:40 +0300) | ||
| tree | 121d9f61cb5ca7718744140f38a8b189a71c0422 | treesnapshot (tar.gz zip) |
| parent | 602906479d554b4a336006ca1f9357c5db6ce9f2 | commitdiff |
math: tweak how impossible states are handled
There is a big comment in this commit which sort of explains this as well.
The problem is that smatch_extra.c says that the state is impossible but
smatch_real_absolute.c says that the variable is 2. When we look up the
real absolute, then we're supposed to take the intersection, but before
we just returned 2. Now we end up returning the whole range because
get_real_absolute() is not allowed to fail.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
There is a big comment in this commit which sort of explains this as well.
The problem is that smatch_extra.c says that the state is impossible but
smatch_real_absolute.c says that the variable is 2. When we look up the
real absolute, then we're supposed to take the intersection, but before
we just returned 2. Now we end up returning the whole range because
get_real_absolute() is not allowed to fail.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_math.c | diffblobblamehistory |