extra: create a callback for when smatch_extra changes a state
commitf493bf4046394a232ce99510f80e86c4f62f50f9
authorDan Carpenter <dan.carpenter@oracle.com>
Tue, 8 Jan 2013 09:12:07 +0000 (8 12:12 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Tue, 8 Jan 2013 09:12:07 +0000 (8 12:12 +0300)
treecbda4cd84fafb94f2ee473716598716eac68b5af
parentc8dbcc2ad277dc0415b837547e6c8a761ec7846f
extra: create a callback for when smatch_extra changes a state

I want to know when smatch_extra changes the value of something.  It passes
the name, symbol and new state to the hook.  You can still call
get_state(SMATCH_EXTRA, ...) to find the old state.

I will use this in later changes.

Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
smatch_extra.c
smatch_extra.h