debug: add __smatch_state_count()
commitb86311b6ea6076ffca070cd1c1178c6eadb2924c
authorDan Carpenter <dan.carpenter@oracle.com>
Wed, 7 Mar 2018 09:08:10 +0000 (7 12:08 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Wed, 7 Mar 2018 09:08:10 +0000 (7 12:08 +0300)
treefef6a3d6a03239cb975b3c40820a6cfa4e2eb0f0
parentc5f89024e8c3606846e655a4e08c802c02c08445
debug: add __smatch_state_count()

I added this trying to debug why my memory was running out.  It wasn't too
many states, but maybe this information will be useful next time.

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