equiv: call_extra_mod_hooks() inside set_equiv()
authorDan Carpenter <dan.carpenter@oracle.com>
Mon, 28 Jan 2013 06:31:22 +0000 (28 09:31 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Mon, 28 Jan 2013 06:31:22 +0000 (28 09:31 +0300)
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>
smatch_equiv.c

index 2314286..4b8ca3f 100644 (file)
@@ -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;