Home
last modified time | relevance | path

Searched refs:m_ext_state (Results 1 – 9 of 9) sorted by relevance

/netbsd-src/external/gpl3/gcc/dist/gcc/analyzer/
H A Dengine.cc98 m_ext_state (eg.get_ext_state ()), in impl_region_model_context()
114 m_ext_state (ext_state), in impl_region_model_context()
174 smap->on_unknown_change (sval, is_mutable, m_ext_state); in on_unknown_change()
199 smap->purge_state_involving (sval, m_ext_state); in purge_state_involving()
224 if (!m_ext_state.get_sm_idx_by_name ("malloc", &malloc_sm_idx)) in get_malloc_map()
228 *out_sm = &m_ext_state.get_sm (malloc_sm_idx); in get_malloc_map()
242 if (!m_ext_state.get_sm_idx_by_name ("taint", &taint_sm_idx)) in get_taint_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()
[all …]
H A Dexploded-graph.h85 return &m_ext_state; in get_ext_state()
103 const extrinsic_state &m_ext_state; variable
807 const extrinsic_state &get_ext_state () const { return m_ext_state; } in get_ext_state()
808 engine *get_engine () const { return m_ext_state.get_engine (); } in get_engine()
911 const extrinsic_state &m_ext_state; variable
H A Ddiagnostic-manager.cc1649 m_ext_state (ext_state) in null_assignment_sm_context()
1666 = old_smap->get_state (var_old_sval, m_ext_state); in get_state()
1675 state_machine::state_t current = old_smap->get_state (sval, m_ext_state); in get_state()
1778 const extrinsic_state &m_ext_state; member
H A Dregion-model.h1192 m_ext_state (ext_state), in model_merger()
1213 const extrinsic_state *m_ext_state; member
H A Dprogram-state.cc550 if (state_machine::state_t state = get_state (sval, ctxt->m_ext_state)) in on_svalue_leak()
H A Dregion-model.cc4420 if (m_ext_state) in mergeable_svalue_p()
4430 if (!m_state_a->can_purge_p (*m_ext_state, sval)) in mergeable_svalue_p()
4433 if (!m_state_b->can_purge_p (*m_ext_state, sval)) in mergeable_svalue_p()
H A DChangeLog1135 m_ext_state to program_state::can_merge_with_p.
1158 (model_merger::m_ext_state): New field.
4136 and ext_state params, initializing m_old_state and m_ext_state.
4143 (null_assignment_sm_context::m_ext_state): New field.
6525 (exploded_graph::add_edge): Pass m_ext_state to exploded_edge's
/netbsd-src/external/gpl3/gcc.old/dist/gcc/analyzer/
H A Dengine.cc89 m_ext_state (eg.get_ext_state ()) in impl_region_model_context()
104 m_ext_state (ext_state) in impl_region_model_context()
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()
1816 m_ext_state (ext_state), in exploded_graph()
1859 program_state state (m_ext_state); in add_function_entry()
1860 impl_region_model_context ctxt (&state, NULL, m_ext_state, get_logger ()); in add_function_entry()
1896 state.dump_to_pp (m_ext_state, true, pp); in get_or_create_node()
[all …]
H A Dexploded-graph.h91 const extrinsic_state &m_ext_state; variable
735 const extrinsic_state &get_ext_state () const { return m_ext_state; } in get_ext_state()
817 const extrinsic_state &m_ext_state; variable