debug: add __smatch_implied()
commita6cb6c767f0a9bba17751243e69285233765a25d
authorDan Carpenter <dan.carpenter@oracle.com>
Mon, 20 Feb 2012 13:45:15 +0000 (20 16:45 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Mon, 20 Feb 2012 13:45:15 +0000 (20 16:45 +0300)
tree5c6cc1b356b00e3d2e8c2a76a2fd7df78028fef9
parent61e0c2b46d5456342825d45980228a29718f4bb5
debug: add __smatch_implied()

This probably way more useful than __smatch_value().  It's the same kind of
thing but it takes an expression instead of a string literal with the name
of the variable.

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