db/fn_ptr_data_link: don't store duplicate records
commit44e63f0aeb8b7b004a2cd485463a2084683472bb
authorDan Carpenter <dan.carpenter@oracle.com>
Mon, 4 Dec 2017 14:41:18 +0000 (4 17:41 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Mon, 4 Dec 2017 14:41:18 +0000 (4 17:41 +0300)
tree483a231617c2a11ca6af936f4e6f4d301fe34af8
parent4b4e8552598f82330d823c3d5ff89880f2ee3dc2
db/fn_ptr_data_link: don't store duplicate records

No need to store duplicate records.  This might be a small speedup?

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