debug: introduce __smatch_debug_check() to debug a specific check
commit5ea7e2e665d452850aaa427bc18b501285025486
authorDan Carpenter <dan.carpenter@oracle.com>
Fri, 16 May 2014 17:22:03 +0000 (16 20:22 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Fri, 16 May 2014 17:22:03 +0000 (16 20:22 +0300)
tree5e23c365dd3b3c133fc3e4e46f485b0f7f718579
parent7ed702257441b6c56c62ebe7811621eb8a941f52
debug: introduce __smatch_debug_check() to debug a specific check

Use:
__smatch_debug_check("register_smatch_extra");
frob(foo, bar);
__smatch_debug_off();

That let's you see how the frob() function affects SMATCH_EXTRA.

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