debug: introduce __smatch_known()
commitd4a557d21805e473e6939b276744dc0bd5ba22e9
authorDan Carpenter <dan.carpenter@oracle.com>
Mon, 19 Jan 2015 14:08:35 +0000 (19 17:08 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Mon, 19 Jan 2015 14:08:35 +0000 (19 17:08 +0300)
tree218d4ab042cac62e4768e1eaa4269ecf778f7ef6
parentb42895c2904ddf4e60de60f4adc57c908785b352
debug: introduce __smatch_known()

Normally, you would use __smatch_implied().  This one will only print
constant values and literals.

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