debug: improve __smatch_states() output
commit32497a9cad4c03646147cccffe7e97ef2a2153f2
authorDan Carpenter <dan.carpenter@oracle.com>
Tue, 26 May 2015 10:24:18 +0000 (26 13:24 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Tue, 26 May 2015 10:24:18 +0000 (26 13:24 +0300)
tree493ea2ce1f62d50ed359a461b04451296c7e14be
parent106cda3ae3de5359c64f5fa8ad182fd471907894
debug: improve __smatch_states() output

Print the list of possible states as well.

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