introduce __smatch_debug_on() and __smatch_debug_off()
commitd6d50357824fa7b385528d26feb024405d5e26bd
authorDan Carpenter <error27@gmail.com>
Tue, 30 Mar 2010 19:39:05 +0000 (30 22:39 +0300)
committerDan Carpenter <error27@gmail.com>
Tue, 30 Mar 2010 19:39:05 +0000 (30 22:39 +0300)
treeb30978429286a189e076b6e85654e98d62db91c0
parent9e27f87ded73aae871b94c5c161feb52d4c59e77
introduce __smatch_debug_on() and __smatch_debug_off()

Sometimes it's handy to turn debugging on for only a few lines.

Signed-off-by: Dan Carpenter <error27@gmail.com>
check_debug.c
check_debug.h