sval: cast the result in sval_binop()
commit3e05fd8057ab52fac2a92bf5aff3b07a040fb21a
authorDan Carpenter <dan.carpenter@oracle.com>
Fri, 30 Jan 2015 15:38:17 +0000 (30 18:38 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Fri, 30 Jan 2015 15:38:17 +0000 (30 18:38 +0300)
tree32fcf10668d439ac19359582254bb721ede7cdff
parent25cb722c1c4361e5f0b53da1da84a6ec763e2bcd
sval: cast the result in sval_binop()

If you have "UINT_MAX + 1" then it would say the result ->type was
&int_ctype but the ->uvalue would be 0x100000000 which isn't correct.  We
need to truncate to 32 bits before returning.

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