debug: add __smatch_type() which prints the type of the argument
commitb5f5bc812e408f8cabfce1cb25e624d5a0284dd6
authorDan Carpenter <dan.carpenter@oracle.com>
Thu, 6 Nov 2014 12:28:35 +0000 (6 15:28 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Thu, 6 Nov 2014 12:28:35 +0000 (6 15:28 +0300)
treead44c2bb6f83deceaeeb65a52f48f8fa4dd5b221
parent5452b54b36800f511cbc2a535c0278bb06515e05
debug: add __smatch_type() which prints the type of the argument

It displays the type of the argument.  You can't pass it a struct, you
have to pass it a struct pointer instead.

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