Searched defs:dst_state (Results 1 – 5 of 5) sorted by relevance
589 const program_state &dst_state) in get_any_origin()663 const program_state &dst_state = dst_node->get_state (); in on_global_state_change() local691 const program_state &dst_state = dst_node->get_state (); in on_state_change() local748 const program_state &dst_state, in for_each_state_change()838 const program_state &dst_state = dst_node->get_state (); in add_events_for_eedge() local
176 const program_state &dst_state) in statement_event()221 const program_state &dst_state) in state_change_event()
184 const program_state &dst_state) in statement_event()257 const program_state &dst_state) in state_change_event()
1505 const program_state &dst_state = dst_node->get_state (); in on_global_state_change() local1535 const program_state &dst_state = dst_node->get_state (); in on_state_change() local1588 const program_state &dst_state, in for_each_state_change()1809 const program_state &dst_state = dst_node->get_state (); in add_events_for_eedge() local
450 region_model::loop_replay_fixup (const region_model *dst_state) in loop_replay_fixup()