sval: math: fix get_value() for !foo
commit8fa8b3bec8abbe3ea202f9bc0615fafe5002d241
authorDan Carpenter <dan.carpenter@oracle.com>
Mon, 19 Nov 2012 20:02:40 +0000 (19 23:02 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Mon, 19 Nov 2012 20:02:40 +0000 (19 23:02 +0300)
treebaef4173d9b7d7f7097791fa42bbcc1d19e6febd
parentfed96c1db6063ab325005d09fb8c785236aa741a
sval: math: fix get_value() for !foo

handle_negate() was only checking the implied values, not the known
values.

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