db: don't create new splits in split_positive_from_negative()
commitf7c6d8579152be6bb2540af8ab2c3c9f867fd709
authorDan Carpenter <dan.carpenter@oracle.com>
Wed, 16 Jan 2019 15:10:40 +0000 (16 18:10 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Wed, 16 Jan 2019 15:10:40 +0000 (16 18:10 +0300)
treed8b64c502e7d880117f96e5f175263f605655f20
parent3bd7cfc681b028cf44839918443fc3c5751112c3
db: don't create new splits in split_positive_from_negative()

The idea here is that maybe positive and negative mean
different things.  But the code here was splitting zero out
when maybe zero fits more naturally with the positives.

Another way of saying that is if you have an estate where
ret = -12 and another where ret = 0-32 then the "ret" state
should be divided at < zero and >= zero.  Otherwise we're just
creating an exact duplicate of the 1-32 states.

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