debug: add __smatch_dump_related()
commit7d38ec046f3b76b7d80f38edb8dfbb7adbd14e58
authorDan Carpenter <dan.carpenter@oracle.com>
Tue, 21 Feb 2012 14:16:17 +0000 (21 17:16 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Tue, 21 Feb 2012 14:16:17 +0000 (21 17:16 +0300)
tree278fdb804c6c266a3841c825fd68aa2c4a542b03
parent023f4bfe41de18fcbc12b06f2958e6eec6595078
debug: add __smatch_dump_related()

There is almost no debugging available for the constraints code.  And very
little validation.  That probably means it is broken.  We'll add some debug
infrastructure.

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