From: Dan Carpenter <dan.carpenter@oracle.com>
Date: Mon, 28 Jan 2013 06:31:22 +0000 (+0300)
Subject: equiv: call_extra_mod_hooks() inside set_equiv()
X-Git-Tag: 1.57~35
X-Git-Url: https://repo.or.cz/w/smatch.git/commitdiff_plain/69506eac003d5f1b0fd59de75b72631fdbbded28

equiv: call_extra_mod_hooks() inside set_equiv()

set_equiv() doesn't call set_extra_mod() because set_equiv() wants to mess
with the sm_state.  But it should still call the modification hooks.  This
affects smatch_param_set.c which is used by the database.

Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
---

diff --git a/smatch_equiv.c b/smatch_equiv.c
index 23142869..4b8ca3f0 100644
--- a/smatch_equiv.c
+++ b/smatch_equiv.c
@@ -239,6 +239,8 @@ void set_equiv(struct expression *left, struct expression *right)
 	state = clone_estate(right_sm->state);
 	get_dinfo(state)->related = rlist;
 
+	call_extra_mod_hooks(left_name, left_sym, state);
+
 	FOR_EACH_PTR(rlist, rel) {
 		struct sm_state *new_sm;