Searched refs:src_enode (Results 1 – 8 of 8) sorted by relevance
/netbsd-src/external/gpl3/gcc/dist/gcc/analyzer/ |
H A D | sm-signal.cc | 263 exploded_node *src_enode, in impl_transition() argument 281 src_enode); in impl_transition() 283 eg->add_edge (src_enode, dst_enode, NULL, /*state_change (),*/ in impl_transition()
|
H A D | sm.h | 178 exploded_node *src_enode,
|
H A D | engine.cc | 3424 exploded_node *src_enode in maybe_process_run_of_before_supernode_enodes() local 3427 = get_or_create_node (next_point, *merged_state, src_enode); in maybe_process_run_of_before_supernode_enodes() 4390 const exploded_node &src_enode = *eedge->m_src; in feasible_p() local 4391 const program_point &src_point = src_enode.get_point (); in feasible_p() 4528 const exploded_node &src_enode = *eedge->m_src; in maybe_update_for_edge() local 4529 const program_point &src_point = src_enode.get_point (); in maybe_update_for_edge() 4538 for (unsigned stmt_idx = 0; stmt_idx < src_enode.m_num_processed_stmts; in maybe_update_for_edge() 4541 const gimple *stmt = src_enode.get_processed_stmt (stmt_idx); in maybe_update_for_edge() 4621 m_model.update_for_phis (src_enode.get_supernode (), in maybe_update_for_edge()
|
H A D | diagnostic-manager.cc | 908 bool reachable_from_p (const exploded_node *src_enode) const in reachable_from_p() 910 return m_reachability.reachable_from_p (src_enode); in reachable_from_p()
|
/netbsd-src/external/gpl3/gcc.old/dist/gcc/analyzer/ |
H A D | sm-signal.cc | 225 exploded_node *src_enode, in impl_transition() argument 245 eg->add_edge (src_enode, dst_enode, NULL, state_change (), in impl_transition()
|
H A D | sm.h | 122 exploded_node *src_enode,
|
H A D | diagnostic-manager.cc | 130 bool reachable_from_p (const exploded_node *src_enode) const in reachable_from_p() 132 return m_reachability.reachable_from_p (src_enode); in reachable_from_p()
|
H A D | engine.cc | 2867 const exploded_node &src_enode = *eedge->m_src; in feasible_p() local 2868 const program_point &src_point = src_enode.get_point (); in feasible_p() 2942 model.update_for_phis (src_enode.get_supernode (), in feasible_p()
|