math: be more ambitious handling right shifts
authorDan Carpenter <dan.carpenter@oracle.com>
Thu, 29 May 2014 10:12:27 +0000 (13:12 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Thu, 29 May 2014 10:12:27 +0000 (13:12 +0300)
commit9a2009df403641c8d16d12ee0fae3d07d5643d20
tree10dab2c6db21f3b9488ea07a7fc0bc5137fe1a60
parentfeb677283bd5612635dd63cdac4279351e4e0c7b
math: be more ambitious handling right shifts

We can at least say that the number is not negative.

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