db: track some more ==p1 return values
authorDan Carpenter <dan.carpenter@oracle.com>
Fri, 28 Jun 2013 13:27:54 +0000 (16:27 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Fri, 28 Jun 2013 13:27:54 +0000 (16:27 +0300)
commit7f4102317b479921197f2fd9a8352c81a759cb22
treee2fa96b0b0fb8a33e6f31844ddf749c5ce3d906c
parent35ef92a3c4d9ab7db760a49859088f6e4eb335e9
db: track some more ==p1 return values

The problem here is that the code thinks it can split apart the return
value into something meaningful because it knows how the function was
called.  But actually the parameter has not been modified within the
function.

So instead of splitting it apart just return that it is equal to a
parameter.

I added some NULL checks for void functions so we don't crash.

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