From b750dd2d88e016f53f03aedb160ba281bd13d809 Mon Sep 17 00:00:00 2001 From: Dan Carpenter Date: Tue, 1 Dec 2020 22:22:58 +0300 Subject: [PATCH] implied: fix reversed debug output The out put said it was "not in the keep pool" when it was and vice versa. Ugh... I wasted a lot of time on this. Signed-off-by: Dan Carpenter --- smatch_implied.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/smatch_implied.c b/smatch_implied.c index 93770baa..f366837c 100644 --- a/smatch_implied.c +++ b/smatch_implied.c @@ -530,7 +530,7 @@ struct sm_state *filter_pools(struct sm_state *sm, if (!is_merged(sm) || pool_in_pools(sm->pool, keep_stack) || sm_in_keep_leafs(sm, keep_stack)) { DIMPLIED("%s: keep %s (%s, %s, %s): %s\n", __func__, sm->state->name, is_merged(sm) ? "merged" : "not merged", - pool_in_pools(sm->pool, keep_stack) ? "not in keep pools" : "in keep pools", + pool_in_pools(sm->pool, keep_stack) ? "in keep pools" : "not in keep pools", sm_in_keep_leafs(sm, keep_stack) ? "reachable keep leaf" : "no keep leaf", sm_state_info(sm)); return sm; -- 2.11.4.GIT