debug: introduce __smatch_state(check_name, state_name)
commit0d906ed608ef633b66cc6903d0904f058576e448
authorDan Carpenter <dan.carpenter@oracle.com>
Mon, 17 Jun 2013 10:39:28 +0000 (17 13:39 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Mon, 17 Jun 2013 10:39:28 +0000 (17 13:39 +0300)
tree4dc6aeccb474122acd391449081549ae19271f29
parent31fae89b370ffb85a4251ff7ecf5d3e7fd843b8a
debug: introduce __smatch_state(check_name, state_name)

Except for smatch_extra states and smatch_compare then there wasn't a
way to print just one state before.  The way to use this is like:

__smatch_state("check_user_data", "foo.x");

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