From 45d11d69ff2d52609a7ac71e7286be8db411a06e Mon Sep 17 00:00:00 2001 From: Dan Carpenter Date: Tue, 10 Jan 2017 22:32:18 +0300 Subject: [PATCH] param_limit: don't insert empty states into the db I guess a param_limit of empty probably only happens on "impossible" paths. But that information is stored in other places and it's not useful here. Signed-off-by: Dan Carpenter --- smatch_param_limit.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/smatch_param_limit.c b/smatch_param_limit.c index 970b4572..8b180be8 100644 --- a/smatch_param_limit.c +++ b/smatch_param_limit.c @@ -120,7 +120,7 @@ static void print_return_value_param(int return_id, char *return_ranges, struct if (!state) state = tmp->state; - if (estate_is_whole(state)) + if (estate_is_whole(state) || estate_is_empty(state)) continue; old = get_state_stree(start_states, SMATCH_EXTRA, tmp->name, tmp->sym); if (old && estates_equiv(old, state)) -- 2.11.4.GIT