math: prefer real absolutes
commit212b9a7aa4cf401155d73e5424a78f99b554894e
authorDan Carpenter <dan.carpenter@oracle.com>
Thu, 4 May 2017 11:15:48 +0000 (4 14:15 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Thu, 4 May 2017 11:15:48 +0000 (4 14:15 +0300)
treef2c1e68a51671f8de824d736f155c7d41e179e96
parente7786241cdaf43279f6e2acb7b443540074830da
math: prefer real absolutes

I've been running this code for some time.  Seems to work Ok.  I might have
expected that checks would use get_absolute() and is_whole_range() instead
of checking for !get_implied_rl() but apparently no one does.

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