db: make call_implies match caller_info with a key value pair
authorDan Carpenter <dan.carpenter@oracle.com>
Thu, 19 Jun 2014 06:50:03 +0000 (09:50 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Thu, 19 Jun 2014 06:50:03 +0000 (09:50 +0300)
commit88eef8314319ded78d70f491c5c4170ea9232270
tree0fcc039e6f67930c6d30b2c72d1133d4ec5445ca
parent34df544100682a962e4538d0978db9c33b8fab55
db: make call_implies match caller_info with a key value pair

call_implies used to only take the parameter number instead of a "$$->foo"
type name stored in the "key" column.  I've modified it to be like
caller_info and return_states.

Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
check_check_deref.c
check_deref.c
check_deref_check.c
check_dereferences_param.c
check_free.c
check_frees_param.c
smatch.h
smatch_data/db/call_implies.schema
smatch_db.c
smatch_extra.c
smatch_extra.h