math: get_implied_min() should be able to return s32min
commite8707f369fb2698d8e27a17f0a91ac81dd698f62
authorDan Carpenter <dan.carpenter@oracle.com>
Sun, 3 Feb 2013 20:48:03 +0000 (3 23:48 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Sun, 3 Feb 2013 20:48:03 +0000 (3 23:48 +0300)
treec919e34b3013610c9ad854bc513f09f451435fe5
parentdf336c84d0752586d39e34e897d557d832a60662
math: get_implied_min() should be able to return s32min

Before if we saw a s32min, we said that wasn't really an implied min at all
that probably meant the value was unknown.  But actually we want to return
s32min.  It makes get_implied_min() and get_implied_max() match.  It makes
a lot of math work better.

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