| commit | 55d8557167a8da241e3c3b6b9bafb50aabfd08e1 | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Tue, 17 Dec 2013 10:40:46 +0000 (17 13:40 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Tue, 17 Dec 2013 10:40:46 +0000 (17 13:40 +0300) | ||
| tree | fabcb0976e35a9d3ec18354cfaea2c740be3efa4 | treesnapshot (tar.gz zip) |
| parent | b15f7ae0b638e4ce0ab22ed7a5948a0e77b81991 | commitdiff |
*new* check_cast_assign.c: check casting a smaller type to larger
This complains for code like:
int x;
*(long long *)&x = 1;
Except the bad thing is that you need to have --spammy enabled for it to
calculate the buffer size correctly in that line... Hopefully, I can fix
up smatch_buf_size.c so this works by default.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
This complains for code like:
int x;
*(long long *)&x = 1;
Except the bad thing is that you need to have --spammy enabled for it to
calculate the buffer size correctly in that line... Hopefully, I can fix
up smatch_buf_size.c so this works by default.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| check_cast_assign.c | [new file with mode: 0644] | blob |
| check_list.h | diffblobblamehistory |