Print this page
11506 smatch resync
*** 156,165 ****
--- 156,168 ----
continue;
old = get_state_stree(start_states, SMATCH_EXTRA, tmp->name, tmp->sym);
if (old && rl_equiv(estate_rl(old), estate_rl(state)))
continue;
+ if (is_ignored_kernel_data(param_name))
+ continue;
+
rl = generify_mtag_range(state);
sql_insert_return_states(return_id, return_ranges, PARAM_LIMIT,
param, param_name, show_rl(rl));
} END_FOR_EACH_SM(tmp);
}
*** 191,200 ****
--- 194,204 ----
void register_param_limit(int id)
{
my_id = id;
+ set_dynamic_states(my_id);
add_hook(&save_start_states, AFTER_DEF_HOOK);
add_hook(&free_start_states, AFTER_FUNC_HOOK);
add_extra_mod_hook(&extra_mod_hook);
add_unmatched_state_hook(my_id, &unmatched_state);