11506 smatch resync
@@ -232,10 +232,11 @@ 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);