Searched refs:node_2 (Results 1 – 2 of 2) sorted by relevance
| /netbsd-src/external/gpl3/gcc.old/dist/gcc/analyzer/ |
| H A D | engine.cc | 2223 if (exploded_node *node_2 = m_worklist.peek_next ()) in process_worklist() local
2225 gcc_assert (node_2->get_status () in process_worklist()
2228 gcc_assert (node_2->m_succs.length () == 0); in process_worklist()
2230 gcc_assert (node != node_2); in process_worklist()
2233 logger->log ("peek worklist: EN: %i", node_2->m_index); in process_worklist()
2235 if (node->get_point () == node_2->get_point ()) in process_worklist()
2244 node->m_index, node_2->m_index); in process_worklist()
2250 const program_state &state_2 = node_2->get_state (); in process_worklist()
2263 node->m_index, node_2->m_index); in process_worklist()
2268 add_edge (node_2, node, NULL, change); in process_worklist()
[all …]
|
| /netbsd-src/external/gpl3/gcc/dist/gcc/analyzer/ |
| H A D | engine.cc | 3100 if (exploded_node *node_2 = m_worklist.peek_next ()) in process_worklist() local
3102 gcc_assert (node_2->get_status () in process_worklist()
3105 gcc_assert (node_2->m_succs.length () == 0); in process_worklist()
3107 gcc_assert (node != node_2); in process_worklist()
3110 logger->log ("peek worklist: EN: %i", node_2->m_index); in process_worklist()
3112 if (node->get_point () == node_2->get_point ()) in process_worklist()
3122 node->m_index, node_2->m_index); in process_worklist()
3127 const program_state &state_2 = node_2->get_state (); in process_worklist()
3139 node->m_index, node_2->m_index); in process_worklist()
3144 add_edge (node_2, node, NULL); in process_worklist()
[all …]
|