sval: fix sval_binop_overflows() handling of subtraction
commitb4183bf0f2bf6647bda7c427dab5c3214064a158
authorDan Carpenter <dan.carpenter@oracle.com>
Tue, 21 May 2013 07:19:25 +0000 (21 10:19 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Tue, 21 May 2013 07:19:25 +0000 (21 10:19 +0300)
tree9d9f977e7b7e403788cad47a423cc876df11fe37
parent2c338a3c6200ae12723d5d1d81937f7c7e35e48a
sval: fix sval_binop_overflows() handling of subtraction

s32min + s32min overflows.

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