From 5621e2cff39edaaae68be335d2dc2a7e16ee69f2 Mon Sep 17 00:00:00 2001 From: Dan Carpenter Date: Tue, 17 Feb 2015 16:36:48 +0300 Subject: [PATCH] function_hooks: add some debug output It's useful to know when and why we're culling a set of states. Signed-off-by: Dan Carpenter --- smatch_function_hooks.c | 2 ++ 1 file changed, 2 insertions(+) diff --git a/smatch_function_hooks.c b/smatch_function_hooks.c index 16bd1065..e8d510ec 100644 --- a/smatch_function_hooks.c +++ b/smatch_function_hooks.c @@ -414,6 +414,8 @@ static int impossible_limit(struct expression *expr, int param, char *key, char return 0; if (possibly_true_rl(passed, SPECIAL_EQUAL, limit)) return 0; + if (option_debug) + sm_msg("impossible: %d '%s' limit '%s' == '%s'", param, key, show_rl(passed), value); return 1; } -- 2.11.4.GIT