From eb26ce28d3eeebfc40b871dfe8dd0ead212855f4 Mon Sep 17 00:00:00 2001 From: Dan Carpenter Date: Thu, 16 Mar 2017 17:50:52 +0300 Subject: [PATCH] user_data2: don't set parameters to user_data We should be considering the range_lists only, not the estate. The estate is affects by relationships to other variables which we don't care about. Signed-off-by: Dan Carpenter --- check_user_data2.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/check_user_data2.c b/check_user_data2.c index 2eb20f3c..5c98e374 100644 --- a/check_user_data2.c +++ b/check_user_data2.c @@ -805,7 +805,7 @@ static void param_set_to_user_data(int return_id, char *return_ranges, struct ex * Let's mark this as a TODO. */ start_state = get_state_stree(start_states, my_id, sm->name, sm->sym); - if (start_state && estates_equiv(sm->state, start_state)) + if (start_state && rl_equiv(estate_rl(sm->state), estate_rl(start_state))) continue; param_name = get_param_name(sm); -- 2.11.4.GIT