From d1052429b6d9cb146c4801c26da4a552801e2028 Mon Sep 17 00:00:00 2001 From: Dan Carpenter Date: Tue, 9 Apr 2024 16:09:05 +0300 Subject: [PATCH] implied: fix get_tf_stacks_from_pool() I completely broke get_tf_stacks_from_pool(). Leaf nodes rarely ever have have ->left or ->right so this basically finds no implications. Signed-off-by: Dan Carpenter --- smatch_implied.c | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/smatch_implied.c b/smatch_implied.c index 4982381d..f1cda41d 100644 --- a/smatch_implied.c +++ b/smatch_implied.c @@ -1177,8 +1177,11 @@ static void get_tf_stacks_from_pool(struct sm_state *gate_sm, if (!gate_sm) return; - if (!is_leaf(gate_sm)) + if (!is_leaf(gate_sm)) { + get_tf_stacks_from_pool(gate_sm->left, pool_sm, true_stack, false_stack); + get_tf_stacks_from_pool(gate_sm->right, pool_sm, true_stack, false_stack); return; + } if (strcmp(gate_sm->state->name, pool_sm->state->name) == 0) { add_ptr_list(true_stack, pool_sm); -- 2.11.4.GIT