Lines Matching refs:program_state

77 			   const program_state *old_state,  in impl_region_model_context()
78 program_state *new_state, in impl_region_model_context()
94 impl_region_model_context (program_state *state, in impl_region_model_context()
201 const program_state *old_state, in impl_sm_context()
202 program_state *new_state, in impl_sm_context()
344 const program_state *m_old_state;
345 program_state *m_new_state;
818 const program_state &state = get_state (); in get_dot_fillcolor()
873 const program_state &state = m_ps.get_state (); in dump_dot()
1005 program_state *state, in on_stmt()
1012 const program_state old_state (*state); in on_stmt()
1145 program_state *next_state, in on_edge()
1228 program_state *new_state, in on_longjmp()
1352 const program_state &old_state = get_state (); in detect_leaks()
1356 program_state new_state (old_state); in detect_leaks()
1780 const program_state &state_a = ka.m_enode->get_state (); in cmp()
1781 const program_state &state_b = kb.m_enode->get_state (); in cmp()
1827 program_state (ext_state), NULL); in exploded_graph()
1859 program_state state (m_ext_state); in add_function_entry()
1881 const program_state &state, in get_or_create_node()
1917 program_state pruned_state = state.prune_for_point (*this, point, change); in get_or_create_node()
1965 const program_state &existing_state = existing_enode->get_state (); in get_or_create_node()
1969 program_state merged_state (m_ext_state); in get_or_create_node()
2249 const program_state &state = node->get_state (); in process_worklist()
2250 const program_state &state_2 = node_2->get_state (); in process_worklist()
2256 program_state merged_state (m_ext_state); in process_worklist()
2430 const program_state &state = node->get_state (); in process_node()
2453 program_state next_state (state); in process_node()
2509 program_state next_state (state); in process_node()
2595 program_state next_state (state); in process_node()