Searched defs:sm_idx (Results 1 – 11 of 11) sorted by relevance
170 sm_context (int sm_idx, const state_machine &sm) in sm_context()
131 int sm_idx; in on_svalue_purge() local147 int sm_idx; in on_unknown_change() local198 int sm_idx, in impl_sm_context()500 int sm_idx, in on_state_leak()619 int sm_idx; in on_inherited_svalue() local641 int sm_idx; in on_cast() local654 int sm_idx; in on_condition() local677 int sm_idx; in on_phi() local1087 int sm_idx; in on_stmt() local1786 for (unsigned sm_idx = 0; sm_idx < state_a.m_checker_states.length (); in cmp() local
226 int sm_idx) FINAL OVERRIDE in impl_transition()
502 int sm_idx, in on_svalue_purge()1084 int sm_idx; in validate() local1164 state_change::add_sm_change (int sm_idx, in add_sm_change()
284 sm_context (int sm_idx, const state_machine &sm) in sm_context()
264 int sm_idx) FINAL OVERRIDE in impl_transition()
1033 unsigned sm_idx; in check_region_for_taint() local1139 unsigned sm_idx; in check_dynamic_size_for_taint() local
298 int sm_idx, in impl_sm_context()878 int sm_idx; in on_condition() local904 int sm_idx; in on_phi() local1388 int sm_idx; in on_stmt() local2310 for (unsigned sm_idx = 0; sm_idx < state_a.m_checker_states.length (); in cmp() local3511 int sm_idx; in state_change_requires_new_enode_p() local
1455 unsigned sm_idx; in impl_call_analyzer_dump_state() local
2135 unsigned sm_idx; in on_realloc_with_move() local
523 unsigned sm_idx; in init_transitive_splits() local