Home | History | Annotate | Download | only in analyzer

Lines Matching refs:get_state

495 get_state ());
1505     const program_state &dst_state = dst_node->get_state ();
1535     const program_state &dst_state = dst_node->get_state ();
1617 	    = src_smap.get_state (sval, ext_state);
1658   state_machine::state_t get_state (const gimple *stmt ATTRIBUTE_UNUSED,
1666       = old_smap->get_state (var_old_sval, m_ext_state);
1671   state_machine::state_t get_state (const gimple *stmt ATTRIBUTE_UNUSED,
1675     state_machine::state_t current = old_smap->get_state (sval, m_ext_state);
1684     state_machine::state_t from = get_state (stmt, var);
1708     state_machine::state_t from = get_state (stmt, sval);
1808   const program_state &src_state = src_node->get_state ();
1809   const program_state &dst_state = dst_node->get_state ();
2373 	      = event->m_eedge.m_dest->get_state ().m_region_model;
2375 	      = event->m_eedge.m_src->get_state ().m_region_model;
2417                   = event->m_eedge.m_dest->get_state ().m_region_model;
2420                   = event->m_eedge.m_src->get_state ().m_region_model;