sval: extra: more fixes to match comparison
commit0b5655d3bdf0065543a3c8c5069b23e7981a9318
authorDan Carpenter <dan.carpenter@oracle.com>
Fri, 9 Nov 2012 09:17:24 +0000 (9 12:17 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Fri, 9 Nov 2012 09:17:24 +0000 (9 12:17 +0300)
tree5382b8c1f1e428eb9b829d80630bb9e46cad4f18
parentcab5a14c6a81e806a69d9cea333450bb1887045d
sval: extra: more fixes to match comparison

This is a fix for the situation where we don't know the value of one side
of a compare.  Before we took the whole range of the promoted type, but
the right thing to do is to take the range of one side of the comparison
and then cast it to the promoted type.

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