smatch: add --debug=check_name option to debug only the check
commit05761776165109a8bd8e471edb96fa01b1020413
authorDan Carpenter <dan.carpenter@oracle.com>
Thu, 4 Jul 2013 10:27:21 +0000 (4 13:27 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Thu, 4 Jul 2013 10:27:21 +0000 (4 13:27 +0300)
treedf886c765171fc66f5295dd154333a4d523ac394
parent509893ff2588b21b94246d7b0e19f210a0370dd2
smatch: add --debug=check_name option to debug only the check

When you have --debug the output is overwhelming, so it's helpful to just
debug one check at a time.  You have to use the name from check_list.h so
for most things it is --debug=check_myname but it could also be
--debug=register_comparison.

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