math: use NOTIMPLIED instead of HARD_MIN in opposite_implied()
commitb49dc2fbbedb648b242de326d3a333b6e7f0e671
authorDan Carpenter <dan.carpenter@oracle.com>
Fri, 1 Feb 2013 22:46:15 +0000 (2 01:46 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Fri, 1 Feb 2013 22:46:15 +0000 (2 01:46 +0300)
treedc653bc66c00534afea99b14795d9edd32169eab
parent45eee093b3f98e87787d4464be0b26ada49ce307
math: use NOTIMPLIED instead of HARD_MIN in opposite_implied()

We don't have a HARD_MIN so only accept known values.  This affects how
subtraction is handled.

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