From 80a26dc0309c11f231b953d66f6dd78739f8ec60 Mon Sep 17 00:00:00 2001 From: Dan Carpenter Date: Thu, 6 Mar 2014 16:10:55 +0300 Subject: [PATCH] param_set: only record parameters This was duplicating smatch_extra for every modification hook. It should only care about parameters. Signed-off-by: Dan Carpenter --- smatch_param_set.c | 2 ++ 1 file changed, 2 insertions(+) diff --git a/smatch_param_set.c b/smatch_param_set.c index e2591faa..fe68d71f 100644 --- a/smatch_param_set.c +++ b/smatch_param_set.c @@ -46,6 +46,8 @@ static struct smatch_state *unmatched_state(struct sm_state *sm) static void extra_mod_hook(const char *name, struct symbol *sym, struct smatch_state *state) { + if (get_param_num_from_sym(sym) < 0) + return; set_state(my_id, name, sym, state); } -- 2.11.4.GIT