debug: introduce __smatch_strlen()
commitc25a093caa40537b059f709208b89631e6aadff2
authorDan Carpenter <dan.carpenter@oracle.com>
Fri, 6 Dec 2013 14:45:24 +0000 (6 17:45 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Fri, 6 Dec 2013 14:45:24 +0000 (6 17:45 +0300)
tree4e46feb3b2874e56029bcbc869cdd5bb09780b99
parent23f03c76f495467a605320e977f716a15d1f2368
debug:  introduce __smatch_strlen()

So we can debug the new smatch_strlen.c infrastructure.

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