db: rename call_implies to return_implies
commit9912b08b80dc6e225ebb39471a323bddee171fba
authorDan Carpenter <dan.carpenter@oracle.com>
Mon, 25 Jun 2018 08:30:19 +0000 (25 11:30 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Mon, 25 Jun 2018 08:37:52 +0000 (25 11:37 +0300)
tree9ae669072938f0c5e4683abe8bc40a5591f8835c
parent9aab9badf88da4fda3bf78416ae1c4208a2f0b66
db: rename call_implies to return_implies

I have caller_info and return_states which are the states going into and
out of functions.  The call_implies table is sort of like return_states
but it applies to every path...  Mostly it's used for parsing the returned
states to say that "this parameter foo->bar->baz was used" or "we
dereferenced that parameter".  So really it should be called return_implies
instead of call_implies.

I have sort of started to add some call_implies states to the
return_implies table (although maybe none of that work was published) but
it's the wrong thing to mix the two different sorts of states.  So now I'm
going to introduce a new call_implies table and rename the old one to
return_implies.

I've created the new call_implies table but not put the plumbing into place
to make it useful.  The reason I did that in this commit is to avoid
annoying error messages.  It won't work either way until you rebuild the
DB, but it's slightly less annoying if you don't get a ton of error
messages.

Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
19 files changed:
check_check_deref.c
check_deref.c
check_deref_check.c
check_dereferences_param.c
check_err_ptr_deref.c
check_free.c
check_frees_param.c
check_uninitialized.c
smatch.h
smatch_about_fn_ptr_arg.c
smatch_container_of.c
smatch_data/db/build_early_index.sh
smatch_data/db/reload_partial.sh
smatch_data/db/return_implies.schema [new file with mode: 0644]
smatch_data/db/smdb.py
smatch_db.c
smatch_extra.c
smatch_fn_arg_link.c
smatch_param_used.c