Home
last modified time | relevance | path

Searched refs:dst_state (Results 1 – 10 of 10) sorted by relevance

/netbsd-src/external/gpl3/gcc.old/dist/gcc/analyzer/
H A Ddiagnostic-manager.cc589 const program_state &dst_state) in get_any_origin() argument
603 region_id lhs_rid = dst_state.m_region_model->get_lvalue (lhs, &ctxt); in get_any_origin()
605 = dst_state.m_region_model->get_lvalue (dst_rep, &ctxt); in get_any_origin()
663 const program_state &dst_state = dst_node->get_state (); in on_global_state_change() local
675 dst_state)); in on_global_state_change()
691 const program_state &dst_state = dst_node->get_state (); in on_state_change() local
709 = dst_state.get_representative_tree (dst_origin_sid); in on_state_change()
712 origin_rep = get_any_origin (stmt, dst_rep, dst_state); in on_state_change()
721 dst_state)); in on_state_change()
748 const program_state &dst_state, in for_each_state_change() argument
[all …]
H A Dchecker-path.cc176 const program_state &dst_state) in statement_event() argument
179 m_dst_state (dst_state) in statement_event()
221 const program_state &dst_state) in state_change_event() argument
228 m_dst_state (dst_state) in state_change_event()
H A Dchecker-path.h165 const program_state &dst_state);
200 const program_state &dst_state);
H A Dprogram-state.h319 const program_state &dst_state,
/netbsd-src/external/gpl3/gcc/dist/gcc/analyzer/
H A Ddiagnostic-manager.cc1505 const program_state &dst_state = dst_node->get_state (); in on_global_state_change() local
1517 dst_state)); in on_global_state_change()
1535 const program_state &dst_state = dst_node->get_state (); in on_state_change() local
1560 dst_state)); in on_state_change()
1588 const program_state &dst_state, in for_each_state_change() argument
1594 gcc_assert (dst_state.m_checker_states.length () in for_each_state_change()
1600 const sm_state_map &dst_smap = *dst_state.m_checker_states[i]; in for_each_state_change()
1809 const program_state &dst_state = dst_node->get_state (); in add_events_for_eedge() local
1827 for_each_state_change (src_state, dst_state, pb.get_ext_state (), in add_events_for_eedge()
1894 dst_stack_depth, dst_state)); in add_events_for_eedge()
[all …]
H A Dchecker-path.cc184 const program_state &dst_state) in statement_event() argument
187 m_dst_state (dst_state) in statement_event()
257 const program_state &dst_state) in state_change_event() argument
264 m_dst_state (dst_state) in state_change_event()
H A Dchecker-path.h191 const program_state &dst_state);
241 const program_state &dst_state);
H A Dprogram-state.h311 const program_state &dst_state,
H A Dregion-model.h775 void loop_replay_fixup (const region_model *dst_state);
H A Dregion-model.cc450 region_model::loop_replay_fixup (const region_model *dst_state) in loop_replay_fixup() argument
452 m_store.loop_replay_fixup (dst_state->get_store (), m_mgr); in loop_replay_fixup()