Print this page
11506 smatch resync

*** 232,241 **** --- 232,242 ---- my_id = id; if (!option_info) return; + set_dynamic_states(my_id); add_extra_mod_hook(&extra_mod_hook); add_unmatched_state_hook(my_id, &unmatched_state); add_merge_hook(my_id, &merge_estates); all_return_states_hook(&process_states); add_hook(match_end_file, END_FILE_HOOK);