From c066f3c84fdcfc6325b2ec7cc030a49450b10777 Mon Sep 17 00:00:00 2001 From: Dan Carpenter Date: Thu, 31 Jan 2019 14:42:04 +0300 Subject: [PATCH] implied: tweak some debug statements Signed-off-by: Dan Carpenter --- smatch_implied.c | 10 ++++------ 1 file changed, 4 insertions(+), 6 deletions(-) diff --git a/smatch_implied.c b/smatch_implied.c index df00634d..9b6e6e79 100644 --- a/smatch_implied.c +++ b/smatch_implied.c @@ -563,16 +563,14 @@ static void separate_and_filter(struct sm_state *sm, int comparison, struct rang gettimeofday(&time_before, NULL); + DIMPLIED("checking implications: (%s (%s) %s %s)\n", + sm->name, sm->state->name, show_special(comparison), show_rl(rl)); + if (!is_merged(sm)) { - DIMPLIED("%d '%s' is not merged.\n", get_lineno(), sm->name); + DIMPLIED("%d '%s' from line %d is not merged.\n", get_lineno(), sm->name, sm->line); return; } - if (option_debug_implied || option_debug) { - sm_msg("checking implications: (%s %s %s)", - sm->name, show_special(comparison), show_rl(rl)); - } - separate_pools(sm, comparison, rl, &true_stack, &false_stack, NULL, mixed); DIMPLIED("filtering true stack.\n"); -- 2.11.4.GIT