db: make call_implies rows unique
commit2f66d40cbf57b0bd581fe75447d2a8625fc7bb1d
authorDan Carpenter <dan.carpenter@oracle.com>
Tue, 15 May 2018 13:35:20 +0000 (15 16:35 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Tue, 15 May 2018 13:35:20 +0000 (15 16:35 +0300)
tree9e6be42651433f77ff284d8b259e01597ff38198
parenta2b875e02928a57ceba58833b529a4b04818f4d6
db: make call_implies rows unique

There was an issue with recursion a while back so call_implies kept
growing exponentially in commit f2fc154233fb ("about_fn_ptr_arg: don't get
into a recursive loop").

That made me think that probably call implies lines should be unique
anyway.

I wish I had tested this to make sure it doesn't cause a slow down when you
build the DB...  I've been running with this change for a while and building
my DB is slow but my code has a bunch of other changes as well so it's
probably something else causing the slow down.  I'm not comfortable just
carrying it in my tree in case I miss a regression in the published code.

Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
smatch_data/db/call_implies.schema
smatch_db.c