sval: handle comparisons against zero.
commita53f5d8c4d157e7f856d7b3dbdd1213c128953f0
authorDan Carpenter <dan.carpenter@oracle.com>
Thu, 8 Nov 2012 17:18:59 +0000 (8 20:18 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Thu, 8 Nov 2012 17:18:59 +0000 (8 20:18 +0300)
tree72632485ff6c9177517bd489012060eff9a9be0d
parentd136ae9d30d6476d666cfabf108ae64447e5decf
sval: handle comparisons against zero.

There was a bug where unsigned non-zero variables were being save as
"min-(-1),1-max", instead of "1-max".

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