From 449062b24abb5ed32a54f6b82bf6a150579b051f Mon Sep 17 00:00:00 2001 From: Dan Carpenter Date: Mon, 8 May 2017 11:48:11 +0300 Subject: [PATCH] extra: use long to short mappings for PARAM_LIMIT and PARAM_FILTER Before we were using these mappings only for PARAM_SET and PARAM_ADD. Signed-off-by: Dan Carpenter --- smatch_extra.c | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/smatch_extra.c b/smatch_extra.c index b6bac598..5d8cf717 100644 --- a/smatch_extra.c +++ b/smatch_extra.c @@ -2135,6 +2135,16 @@ static void db_param_limit_filter(struct expression *expr, int param, char *key, if (sm && rl_equiv(estate_rl(sm->state), new)) __set_sm(sm); else { + char *tmp_name; + struct symbol *tmp_sym; + + tmp_name = map_long_to_short_name_sym(name, sym, &tmp_sym); + if (tmp_name && tmp_sym) { + free_string(name); + name = tmp_name; + sym = tmp_sym; + } + if (op == PARAM_LIMIT) set_extra_nomod_vsl(name, sym, vsl, alloc_estate_rl(new)); else -- 2.11.4.GIT