From c58e6c3c77e04d735df6ff2b062d46fc2974352c Mon Sep 17 00:00:00 2001 From: Dan Carpenter Date: Wed, 11 Nov 2015 15:51:02 +0300 Subject: [PATCH] implied: small speed up We ignore these in filter_pools() any way. May as well ignore them a little earlier. This will cause almost no speed up but at the time I wrote this, I guess I thought it made things more readable? Signed-off-by: Dan Carpenter --- smatch_implied.c | 2 ++ 1 file changed, 2 insertions(+) diff --git a/smatch_implied.c b/smatch_implied.c index dc8e14a1..e7081cf8 100644 --- a/smatch_implied.c +++ b/smatch_implied.c @@ -366,6 +366,8 @@ static struct stree *filter_stack(struct sm_state *gate_sm, return NULL; FOR_EACH_SM(pre_stree, tmp) { + if (!tmp->merged) + continue; if (highest_stree_id(tmp) < highest_stree_id(gate_sm)) { DIMPLIED("skipping %s. set before. %d vs %d\n", tmp->name, highest_stree_id(tmp), -- 2.11.4.GIT