debug: add a way to debug buffer sizes __smatch_buf_size()
commitbac2117c5579a686566109b56d8952054b9c1a3a
authorDan Carpenter <dan.carpenter@oracle.com>
Tue, 12 Jun 2012 16:19:11 +0000 (12 19:19 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Tue, 12 Jun 2012 16:19:11 +0000 (12 19:19 +0300)
treef915e3b6627f85dd772c1d8fa5818d446dc2fc92
parent2bcebde2fb220699988eb00f03cdf243d7dd83e2
debug: add a way to debug buffer sizes __smatch_buf_size()

If you pass it a pointer, then it tells you what Smatch thinks the buffer
size is.

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