sval: fix sval_binop_overflows() to accept different types
commit1eb661d58efe311c151e63f06d4f7313a9a55798
authorDan Carpenter <dan.carpenter@oracle.com>
Mon, 25 Mar 2013 08:09:21 +0000 (25 11:09 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Mon, 25 Mar 2013 08:09:21 +0000 (25 11:09 +0300)
treeaaea3d2f1bdee6a5fc5404f3d1394e96e6b03a54
parent8749d5dabed38b50d76ef77b9155ddc215adc340
sval: fix sval_binop_overflows() to accept different types

The original code assumed that left and right had been cast to the same
type already.  I've removed that assumption.

I will use this in later code.

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