| commit | 19a74058ef8427ae9c10c31968658006ba358808 | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Fri, 8 Jul 2016 11:16:18 +0000 (8 14:16 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Fri, 8 Jul 2016 11:16:18 +0000 (8 14:16 +0300) | ||
| tree | 3dabbc30c098113d289dddba9ef34aeb3d6c9124 | treesnapshot (tar.gz zip) |
| parent | 05e882449aae3db74662e778044d5354922d8423 | commitdiff |
ranges, db: if we can't filter by comparison then use the whole range
The problem here is that you have a return value like "0-255[==$0]" and
say you have no information on what $0 is then we would return zero. This
was later treated as an empty return and certain paths were incorrectly
marked impossible.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
The problem here is that you have a return value like "0-255[==$0]" and
say you have no information on what $0 is then we would return zero. This
was later treated as an empty return and certain paths were incorrectly
marked impossible.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_ranges.c | diffblobblamehistory |