| commit | 55ccda57579bcbbcc5bc510936091597223201df | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Thu, 18 Oct 2018 09:45:38 +0000 (18 12:45 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Thu, 18 Oct 2018 09:45:38 +0000 (18 12:45 +0300) | ||
| tree | e5e4843cff533e2d791732f4ad7f4e670a8b0e0c | treesnapshot (tar.gz zip) |
| parent | de7b4b7fda88cecf9a0b765536b21d53c39c4a02 | commitdiff |
sval: introduce sval_binop_overflows_no_sign()
This is like sval_binop_overflows() but if it's an s32 we cast it to a u32
and if it's an s63 we cast it to u64. Say we want to add two s32 values
and then store them in a u32, then it doesn't matter about the sign.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
This is like sval_binop_overflows() but if it's an s32 we cast it to a u32
and if it's an s63 we cast it to u64. Say we want to add two s32 values
and then store them in a u32, then it doesn't matter about the sign.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch.h | diffblobblamehistory | |
| smatch_sval.c | diffblobblamehistory |