debug: add __smatch_exit() which halts parsing
commita361c53e19409d8d3ff8231a73292d214c8cfc08
authorDan Carpenter <dan.carpenter@oracle.com>
Mon, 11 Sep 2017 09:00:01 +0000 (11 12:00 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Mon, 11 Sep 2017 09:00:01 +0000 (11 12:00 +0300)
tree99620e53e3a4ad4cb21b49208118eefbd0459921
parentdce365da1b861c0814e0401579d222594cb67aa0
debug: add __smatch_exit() which halts parsing

This is useful for when you are trying to debug a crash and you want to
see which line it's on.  You can move the exit statement around to see if
it crashes before the exit or afterward.  Also it speeds up parsing if you
can exit towards the beginning of a file.

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