core: add_unmatched_state_hook()
commitd120e1c97d7577fa15a13f7765cb0e547076daa0
authorDan Carpenter <error27@gmail.com>
Wed, 18 Mar 2009 19:20:21 +0000 (18 22:20 +0300)
committerDan Carpenter <error27@gmail.com>
Wed, 18 Mar 2009 19:20:21 +0000 (18 22:20 +0300)
tree25c75134d47e2965704c44d52ce4474b1fc440e3
parent230f6a0e135732a3c049d68dfadbc8ba8045afd0
core:  add_unmatched_state_hook()

When we merge_slist() it used to be that a state would exist in on one
side but not on the other.  The merge hook could figure out what the
resulting state was.  The new way is for the unmatched state hook to say
what the state is on the side without a state, we set it there and then
merge the states.

The advantage to this way is that it sets up the ->my_list more accurately
and improves the implications.

Signed-off-by: Dan Carpenter <error27@gmail.com>
check_locking.c
check_memory.c
check_null_deref.c
check_template.c
smatch.h
smatch_hooks.c
smatch_slist.c