debug: add __smatch_states("register_comparison")
authorDan Carpenter <dan.carpenter@oracle.com>
Sat, 29 Jun 2013 09:21:06 +0000 (12:21 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Sat, 29 Jun 2013 09:21:06 +0000 (12:21 +0300)
commita5f007522b6830a17a3fde1fce79af77e0f0443c
tree1b96e47b0ddb67e5ef842f5c6aaf0dbeee019201
parentfd8b1b47929cc54ab7a62d721a3c13d78b3c5796
debug: add __smatch_states("register_comparison")

It prints out all the states for a specified check.

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