| commit | 912a21cfa7254f6dffd868749dd4b2bfa4332782 | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Fri, 20 Mar 2015 11:28:45 +0000 (20 14:28 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Fri, 20 Mar 2015 11:28:45 +0000 (20 14:28 +0300) | ||
| tree | 6d675b8b15a334d7f4fef150f0c20cbfa2f61bf6 | treesnapshot (tar.gz zip) |
| parent | 3f545ade0e02256954055f25004190ab457561ea | commitdiff |
helper: don't strip casting in get_array_offset()
Otherwise it was saying that:
foo[(unsigned char)x] = ...
could underflow.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
Otherwise it was saying that:
foo[(unsigned char)x] = ...
could underflow.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_helper.c | diffblobblamehistory |