sval: extra: get_implied_range_list() return whole ranges if appropriate
commitc99bb8522cc7b22ab2717e0913263254033ecc61
authorDan Carpenter <dan.carpenter@oracle.com>
Tue, 20 Nov 2012 11:40:34 +0000 (20 14:40 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Tue, 20 Nov 2012 11:40:34 +0000 (20 14:40 +0300)
tree83b80989da619f1d5517baa462b3a1aaefa5c938
parent54b8942d276d8aa05c1bda88283f472f220c7a60
sval: extra: get_implied_range_list() return whole ranges if appropriate

This makes a difference because I care about the type of the whole range.
0-u32max is not the same as s64min-s64max.

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