Print this page
11506 smatch resync
*** 29,39 ****
{
int arg;
if (!option_info)
return;
! if (__in_fake_assign)
return;
arg = get_param_num_from_sym(sym);
if (arg >= 0)
set_state_stree(&used_stree, my_id, name, sym, &used);
--- 29,39 ----
{
int arg;
if (!option_info)
return;
! if (__in_fake_assign || __in_fake_parameter_assign || __in_function_def)
return;
arg = get_param_num_from_sym(sym);
if (arg >= 0)
set_state_stree(&used_stree, my_id, name, sym, &used);
*** 49,59 ****
if (!name || !sym)
goto free;
arg_nr = get_param_num_from_sym(sym);
if (arg_nr >= 0)
! set_state(my_id, name, sym, &used);
free:
free_string(name);
}
static void process_states(void)
--- 49,59 ----
if (!name || !sym)
goto free;
arg_nr = get_param_num_from_sym(sym);
if (arg_nr >= 0)
! set_state_stree(&used_stree, my_id, name, sym, &used);
free:
free_string(name);
}
static void process_states(void)
*** 67,77 ****
--- 67,82 ----
if (arg < 0)
continue;
name = get_param_name(tmp);
if (!name)
continue;
+ if (is_recursive_member(name))
+ continue;
+ if (is_ignored_kernel_data(name))
+ continue;
+
sql_insert_return_implies(PARAM_USED, arg, name, "");
} END_FOR_EACH_SM(tmp);
free_stree(&used_stree);
}