Add scoped_state() and add_scope_hook().
commitb63e7b49496620fb5f613cfb7701a2b5d934f217
authorDan Carpenter <error27@gmail.com>
Mon, 8 Jun 2009 04:23:14 +0000 (8 07:23 +0300)
committerDan Carpenter <error27@gmail.com>
Mon, 8 Jun 2009 04:23:14 +0000 (8 07:23 +0300)
tree96691399782c04b20b55584ba9e963c0860f7b05
parentb01465c5e8a2a68c45c7247faf072cf1c1929706
Add scoped_state() and add_scope_hook().

add_scope_hook() calls a hook function at the end of the current scope.

scoped_state() deletes a state at the end of the scope.  Deleting these
scopes is a speed up and it also helps the debug output.

Signed-off-by: Dan Carpenter <error27@gmail.com>
check_memory.c
check_null_deref.c
smatch.h
smatch_extra.c
smatch_flow.c
smatch_helper.c
smatch_hooks.c
smatch_tracker.c