Searched refs:get_sm (Results 1 – 9 of 9) sorted by relevance
36 const state_machine &get_sm (int idx) const in get_sm() function275 const state_machine &sm = ext_state.get_sm (i);343 const state_machine &get_sm (const extrinsic_state &ext_state) const345 return ext_state.get_sm (m_sm_idx);
721 smap->print (ext_state.get_sm (i), m_region_model, pp); in print()753 smap->print (ext_state.get_sm (i), m_region_model, pp); in dump_to_pp()1088 const state_machine &sm = ext_state.get_sm (sm_idx); in validate()1099 const state_machine &sm = get_sm (ext_state); in dump()1138 const state_machine &sm = ext_state.get_sm (m_sm_idx); in validate()
135 const state_machine &sm = m_ext_state.get_sm (sm_idx); in on_svalue_purge()623 const state_machine &sm = m_ext_state.get_sm (sm_idx); in on_inherited_svalue()658 const state_machine &sm = m_ext_state.get_sm (sm_idx); in on_condition()681 const state_machine &sm = m_ext_state.get_sm (sm_idx); in on_phi()885 smap->print (ext_state.get_sm (i), state.m_region_model, pp); in dump_dot()1091 const state_machine &sm = eg.get_ext_state ().get_sm (sm_idx); in on_stmt()
758 const state_machine &sm = ext_state.get_sm (i); in for_each_state_change()
38 const state_machine &get_sm (int idx) const in get_sm() function253 const state_machine &sm = ext_state.get_sm (i); in can_purge_p()
920 const state_machine *get_sm () const { return m_sd.m_sm; } in get_sm() function in ana::path_builder1497 if (&sm != m_pb.get_sm ()) in on_global_state_change()1527 if (&sm != m_pb.get_sm ()) in on_state_change()1598 const state_machine &sm = ext_state.get_sm (i); in for_each_state_change()1913 const state_machine &sm = ext_state.get_sm (i); in add_events_for_eedge()
228 *out_sm = &m_ext_state.get_sm (malloc_sm_idx); in get_malloc_map()246 *out_sm = &m_ext_state.get_sm (taint_sm_idx); in get_taint_map()882 const state_machine &sm = m_ext_state.get_sm (sm_idx); in on_condition()908 const state_machine &sm = m_ext_state.get_sm (sm_idx); in on_phi()1392 const state_machine &sm = eg.get_ext_state ().get_sm (sm_idx); in on_stmt()2399 const state_machine &sm = ext_state.get_sm (taint_sm_idx); in mark_params_as_tainted()
742 sm_state_map *sm = new sm_state_map (ext_state.get_sm (i)); in program_state()
3195 * diagnostic-manager.cc (path_builder::get_sm): New.