debug: add __smatch_debug_implied_on/off()
authorDan Carpenter <dan.carpenter@oracle.com>
Fri, 23 Nov 2012 06:28:55 +0000 (09:28 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Fri, 23 Nov 2012 06:28:55 +0000 (09:28 +0300)
commit083d193fc170733452b9ff6499dbea8abb18f5a9
tree12e9088e03d08af49c7d6dea3d69fddfe194c12b
parent7105d7559f06ceb6db57f4154bcfb38a16f524df
debug: add __smatch_debug_implied_on/off()

Turn on implication debugging for just part of a file.

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