From 50291fa9b666c79fee95b78b7a9d0baa2e386d03 Mon Sep 17 00:00:00 2001 From: Dan Carpenter Date: Mon, 30 Mar 2015 16:31:53 +0300 Subject: [PATCH] user_data2: handle returned struct members If we set foo->bar to user data and return foo; then record that in the database. Signed-off-by: Dan Carpenter --- check_user_data2.c | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git a/check_user_data2.c b/check_user_data2.c index 1fa41bbd..645bd876 100644 --- a/check_user_data2.c +++ b/check_user_data2.c @@ -545,8 +545,13 @@ static void param_set_to_user_data(int return_id, char *return_ranges, struct ex param = get_param_num_from_sym(sm->sym); - if (param < 0) - continue; + if (param < 0) { + if (expr_to_sym(expr) == sm->sym) + param = -1; + else + continue; + } + start_state = get_state_stree(start_states, my_id, sm->name, sm->sym); if (start_state && estates_equiv(sm->state, start_state)) -- 2.11.4.GIT