sval: type promote to int if the types are too small
commit17be0b5f835d318736e21cc1e6100453685c8ca3
authorDan Carpenter <dan.carpenter@oracle.com>
Mon, 15 Dec 2014 10:00:32 +0000 (15 13:00 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Mon, 15 Dec 2014 10:00:32 +0000 (15 13:00 +0300)
treeae9416ae38f55f99a6482f41d6d60c5047d2f425
parentdd54b6f0e49d5ecc07610098a138865a4a8d4754
sval: type promote to int if the types are too small

For example:  0xffff << 0xffff can overflow even if the types are both
u16.

Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
smatch_sval.c