db: don't split NULL/non-NULL returns for reason
commitade1378eaee75897de8217fddcb91d38bd652628
authorDan Carpenter <dan.carpenter@oracle.com>
Tue, 25 Jul 2017 14:49:44 +0000 (25 17:49 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Tue, 25 Jul 2017 14:49:44 +0000 (25 17:49 +0300)
treecdd6bfbd7535b8a85786af616eafebb65045a968
parent380187d400f4c49c2689245531e6847949fe7d84
db: don't split NULL/non-NULL returns for reason

Before we were just generating duplicate states for unknown returns.  It
was a waste of space.

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