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);