| commit | cc70bbd760ba56e0c37616b8ae41a29fe8f310d3 | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Mon, 13 Nov 2017 20:11:36 +0000 (13 23:11 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Mon, 13 Nov 2017 20:11:36 +0000 (13 23:11 +0300) | ||
| tree | 9a43a9f8ee57c5a4fbe6106d981618de3c41b90a | treesnapshot (tar.gz zip) |
| parent | 6e25292d0a97bf1b71e33ed775f75f32afae946f | commitdiff |
constraints: don't store signed vs unsigned
In the DB, we don't store the sign vs unsigned and it's sort of complicated
to add it. And this is array index stuff and we have a separate check
which looks for underflows so that's a bit covered already.
So let's strip out the signed vs unsigned bits so that if a comparison is
unsigned, it still fits the requirements.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
In the DB, we don't store the sign vs unsigned and it's sort of complicated
to add it. And this is array index stuff and we have a separate check
which looks for underflows so that's a bit covered already.
So let's strip out the signed vs unsigned bits so that if a comparison is
unsigned, it still fits the requirements.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch.h | diffblobblamehistory | |
| smatch_comparison.c | diffblobblamehistory | |
| smatch_constraints.c | diffblobblamehistory |