From 6a2b8436de5925716ab66ec08655c3c23a77bcee Mon Sep 17 00:00:00 2001 From: Dan Carpenter Date: Fri, 22 Jun 2018 14:52:31 +0300 Subject: [PATCH] comparison: add some debug output This is useful when debugging implications. Signed-off-by: Dan Carpenter --- smatch_comparison.c | 3 +++ 1 file changed, 3 insertions(+) diff --git a/smatch_comparison.c b/smatch_comparison.c index c710cacb..527ec084 100644 --- a/smatch_comparison.c +++ b/smatch_comparison.c @@ -2561,5 +2561,8 @@ struct sm_state *comparison_implication_hook(struct expression *expr, if (!*true_stack && !*false_stack) return NULL; + if (option_debug) + sm_msg("implications from comparison: (%s)", show_sm(sm)); + return sm; } -- 2.11.4.GIT