add __smatch_note("hello world")
commitc9ad3aa5147f3a73dd8aca8f347b5e1e059eb336
authorDan Carpenter <error27@gmail.com>
Fri, 11 Dec 2009 12:48:41 +0000 (11 14:48 +0200)
committerDan Carpenter <error27@gmail.com>
Fri, 11 Dec 2009 12:48:41 +0000 (11 14:48 +0200)
treea2ffe43a43b5e30aa29777f016ccb7c3b08a462c
parentdbadfe07d9201a0822870210d898771eca9609be
add __smatch_note("hello world")

Some times I mark up a section of code with __smatch_cur_slist() and
I get confused which bits are printing what.  __smatch_note() lets you
print a message.

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