/dports/lang/rust/rustc-1.58.1-src/vendor/polonius-engine/src/output/ |
H A D | initialization.rs | 122 cfg_edge: &Relation<(T::Point, T::Point)>, in compute_move_errors() 166 cfg_edge.extend_with(|&(_path, point1)| point1), in compute_move_errors() 179 cfg_edge.extend_with(|&(_path, point1)| point1), in compute_move_errors() 201 cfg_edge.extend_with(|&(_path, source_node)| source_node), in compute_move_errors() 249 cfg_edge: &Relation<(T::Point, T::Point)>, in compute() 266 } = compute_move_errors::<T>(transitive_paths, cfg_edge, output); in compute()
|
H A D | naive.rs | 31 let cfg_edge = &ctx.cfg_edge; in compute() localVariable 157 cfg_edge.extend_with(|&(_origin1, _origin2, point1)| point1), in compute() 188 cfg_edge.extend_with(|&(_origin, _loan, point1)| point1), in compute()
|
H A D | mod.rs | 141 cfg_edge: Relation<(T::Point, T::Point)>, field 164 let cfg_edge = all_facts.cfg_edge.clone().into(); in compute() localVariable 178 ) = initialization::compute(initialization_ctx, &cfg_edge, &mut result); in compute() 198 &cfg_edge, in compute() 203 let cfg_node = cfg_edge in compute() 206 .chain(cfg_edge.iter().map(|&(_, point2)| point2)) in compute() 272 cfg_edge, in compute()
|
H A D | liveness.rs | 23 cfg_edge: &Relation<(T::Point, T::Point)>, in compute_live_origins() 32 let cfg_edge_reverse: Relation<(T::Point, T::Point)> = cfg_edge in compute_live_origins() 65 cfg_edge.extend_with(|&(_var, point1)| point1), in compute_live_origins()
|
H A D | datafrog_opt.rs | 29 let cfg_edge_rel = &ctx.cfg_edge; in compute()
|
/dports/lang/rust/rustc-1.58.1-src/compiler/rustc_borrowck/src/ |
H A D | constraint_generation.rs | 89 all_facts.cfg_edge.push(( in visit_statement() 94 all_facts.cfg_edge.push(( in visit_statement() 125 all_facts.cfg_edge.push(( in visit_terminator() 131 all_facts.cfg_edge.reserve(successor_blocks.size_hint().0); in visit_terminator() 133 all_facts.cfg_edge.push(( in visit_terminator()
|
H A D | facts.rs | 70 cfg_edge, in write_to_dir()
|
/dports/devel/avr-gcc/gcc-10.2.0/gcc/analyzer/ |
H A D | supergraph.cc | 170 ::edge cfg_edge; in supergraph() 173 FOR_EACH_VEC_ELT (*bb->succs, idx, cfg_edge) in supergraph() 175 basic_block dest_cfg_block = cfg_edge->dest; in supergraph() 179 = add_cfg_edge (src_supernode, dest_supernode, cfg_edge, idx); in supergraph() 180 m_cfg_edge_to_cfg_superedge.put (cfg_edge, cfg_sedge); in supergraph() 719 if (::edge cfg_edge = get_any_cfg_edge ()) in dump_dot() 721 if (cfg_edge->flags & EDGE_FAKE) in dump_dot() 727 else if (cfg_edge->flags & EDGE_DFS_BACK) in dump_dot() 733 else if (cfg_edge->flags & EDGE_FALLTHRU) in dump_dot() 739 if (cfg_edge->flags & EDGE_ABNORMAL) in dump_dot()
|
H A D | region-model.cc | 6179 ::edge cfg_edge = sedge.get_cfg_edge (); in apply_constraints_for_gcond() 6180 gcc_assert (cfg_edge != NULL); in apply_constraints_for_gcond() 6181 gcc_assert (cfg_edge->flags & (EDGE_TRUE_VALUE | EDGE_FALSE_VALUE)); in apply_constraints_for_gcond() 6186 if (cfg_edge->flags & EDGE_FALSE_VALUE) in apply_constraints_for_gcond()
|
/dports/lang/gcc10-devel/gcc-10-20211008/gcc/analyzer/ |
H A D | supergraph.cc | 170 ::edge cfg_edge; in supergraph() 173 FOR_EACH_VEC_ELT (*bb->succs, idx, cfg_edge) in supergraph() 175 basic_block dest_cfg_block = cfg_edge->dest; in supergraph() 179 = add_cfg_edge (src_supernode, dest_supernode, cfg_edge, idx); in supergraph() 180 m_cfg_edge_to_cfg_superedge.put (cfg_edge, cfg_sedge); in supergraph() 719 if (::edge cfg_edge = get_any_cfg_edge ()) in dump_dot() 721 if (cfg_edge->flags & EDGE_FAKE) in dump_dot() 727 else if (cfg_edge->flags & EDGE_DFS_BACK) in dump_dot() 733 else if (cfg_edge->flags & EDGE_FALLTHRU) in dump_dot() 739 if (cfg_edge->flags & EDGE_ABNORMAL) in dump_dot()
|
H A D | region-model.cc | 6179 ::edge cfg_edge = sedge.get_cfg_edge (); in apply_constraints_for_gcond() 6180 gcc_assert (cfg_edge != NULL); in apply_constraints_for_gcond() 6181 gcc_assert (cfg_edge->flags & (EDGE_TRUE_VALUE | EDGE_FALSE_VALUE)); in apply_constraints_for_gcond() 6186 if (cfg_edge->flags & EDGE_FALSE_VALUE) in apply_constraints_for_gcond()
|
/dports/lang/gcc10/gcc-10.3.0/gcc/analyzer/ |
H A D | supergraph.cc | 170 ::edge cfg_edge; in supergraph() 173 FOR_EACH_VEC_ELT (*bb->succs, idx, cfg_edge) in supergraph() 175 basic_block dest_cfg_block = cfg_edge->dest; in supergraph() 179 = add_cfg_edge (src_supernode, dest_supernode, cfg_edge, idx); in supergraph() 180 m_cfg_edge_to_cfg_superedge.put (cfg_edge, cfg_sedge); in supergraph() 719 if (::edge cfg_edge = get_any_cfg_edge ()) in dump_dot() 721 if (cfg_edge->flags & EDGE_FAKE) in dump_dot() 727 else if (cfg_edge->flags & EDGE_DFS_BACK) in dump_dot() 733 else if (cfg_edge->flags & EDGE_FALLTHRU) in dump_dot() 739 if (cfg_edge->flags & EDGE_ABNORMAL) in dump_dot()
|
H A D | region-model.cc | 6179 ::edge cfg_edge = sedge.get_cfg_edge (); in apply_constraints_for_gcond() 6180 gcc_assert (cfg_edge != NULL); in apply_constraints_for_gcond() 6181 gcc_assert (cfg_edge->flags & (EDGE_TRUE_VALUE | EDGE_FALSE_VALUE)); in apply_constraints_for_gcond() 6186 if (cfg_edge->flags & EDGE_FALSE_VALUE) in apply_constraints_for_gcond()
|
/dports/lang/gcc11-devel/gcc-11-20211009/gcc/analyzer/ |
H A D | supergraph.cc | 218 ::edge cfg_edge; in supergraph() 221 FOR_EACH_VEC_ELT (*bb->succs, idx, cfg_edge) in supergraph() 223 basic_block dest_cfg_block = cfg_edge->dest; in supergraph() 227 = add_cfg_edge (src_supernode, dest_supernode, cfg_edge, idx); in supergraph() 228 m_cfg_edge_to_cfg_superedge.put (cfg_edge, cfg_sedge); in supergraph() 886 if (::edge cfg_edge = get_any_cfg_edge ()) in dump_dot() 888 if (cfg_edge->flags & EDGE_FAKE) in dump_dot() 894 else if (cfg_edge->flags & EDGE_DFS_BACK) in dump_dot() 900 else if (cfg_edge->flags & EDGE_FALLTHRU) in dump_dot() 906 if (cfg_edge->flags & EDGE_ABNORMAL) in dump_dot()
|
H A D | region-model.cc | 2769 ::edge cfg_edge = sedge.get_cfg_edge (); in apply_constraints_for_gcond() 2770 gcc_assert (cfg_edge != NULL); in apply_constraints_for_gcond() 2771 gcc_assert (cfg_edge->flags & (EDGE_TRUE_VALUE | EDGE_FALSE_VALUE)); in apply_constraints_for_gcond() 2776 if (cfg_edge->flags & EDGE_FALSE_VALUE) in apply_constraints_for_gcond()
|
/dports/misc/cxx_atomics_pic/gcc-11.2.0/gcc/analyzer/ |
H A D | supergraph.cc | 218 ::edge cfg_edge; in supergraph() 221 FOR_EACH_VEC_ELT (*bb->succs, idx, cfg_edge) in supergraph() 223 basic_block dest_cfg_block = cfg_edge->dest; in supergraph() 227 = add_cfg_edge (src_supernode, dest_supernode, cfg_edge, idx); in supergraph() 228 m_cfg_edge_to_cfg_superedge.put (cfg_edge, cfg_sedge); in supergraph() 886 if (::edge cfg_edge = get_any_cfg_edge ()) in dump_dot() 888 if (cfg_edge->flags & EDGE_FAKE) in dump_dot() 894 else if (cfg_edge->flags & EDGE_DFS_BACK) in dump_dot() 900 else if (cfg_edge->flags & EDGE_FALLTHRU) in dump_dot() 906 if (cfg_edge->flags & EDGE_ABNORMAL) in dump_dot()
|
H A D | region-model.cc | 2769 ::edge cfg_edge = sedge.get_cfg_edge (); in apply_constraints_for_gcond() 2770 gcc_assert (cfg_edge != NULL); in apply_constraints_for_gcond() 2771 gcc_assert (cfg_edge->flags & (EDGE_TRUE_VALUE | EDGE_FALSE_VALUE)); in apply_constraints_for_gcond() 2776 if (cfg_edge->flags & EDGE_FALSE_VALUE) in apply_constraints_for_gcond()
|
/dports/lang/gcc11/gcc-11.2.0/gcc/analyzer/ |
H A D | supergraph.cc | 218 ::edge cfg_edge; in supergraph() 221 FOR_EACH_VEC_ELT (*bb->succs, idx, cfg_edge) in supergraph() 223 basic_block dest_cfg_block = cfg_edge->dest; in supergraph() 227 = add_cfg_edge (src_supernode, dest_supernode, cfg_edge, idx); in supergraph() 228 m_cfg_edge_to_cfg_superedge.put (cfg_edge, cfg_sedge); in supergraph() 886 if (::edge cfg_edge = get_any_cfg_edge ()) in dump_dot() 888 if (cfg_edge->flags & EDGE_FAKE) in dump_dot() 894 else if (cfg_edge->flags & EDGE_DFS_BACK) in dump_dot() 900 else if (cfg_edge->flags & EDGE_FALLTHRU) in dump_dot() 906 if (cfg_edge->flags & EDGE_ABNORMAL) in dump_dot()
|
H A D | region-model.cc | 2769 ::edge cfg_edge = sedge.get_cfg_edge (); in apply_constraints_for_gcond() 2770 gcc_assert (cfg_edge != NULL); in apply_constraints_for_gcond() 2771 gcc_assert (cfg_edge->flags & (EDGE_TRUE_VALUE | EDGE_FALSE_VALUE)); in apply_constraints_for_gcond() 2776 if (cfg_edge->flags & EDGE_FALSE_VALUE) in apply_constraints_for_gcond()
|
/dports/lang/gcc12-devel/gcc-12-20211205/gcc/analyzer/ |
H A D | supergraph.cc | 242 ::edge cfg_edge; in supergraph() 245 FOR_EACH_VEC_ELT (*bb->succs, idx, cfg_edge) in supergraph() 247 basic_block dest_cfg_block = cfg_edge->dest; in supergraph() 251 = add_cfg_edge (src_supernode, dest_supernode, cfg_edge); in supergraph() 252 m_cfg_edge_to_cfg_superedge.put (cfg_edge, cfg_sedge); in supergraph() 909 if (::edge cfg_edge = get_any_cfg_edge ()) in dump_dot() 911 if (cfg_edge->flags & EDGE_FAKE) in dump_dot() 917 else if (cfg_edge->flags & EDGE_DFS_BACK) in dump_dot() 923 else if (cfg_edge->flags & EDGE_FALLTHRU) in dump_dot() 929 if (cfg_edge->flags & EDGE_ABNORMAL) in dump_dot()
|
H A D | region-model.cc | 3371 ::edge cfg_edge = sedge.get_cfg_edge (); in apply_constraints_for_gcond() 3372 gcc_assert (cfg_edge != NULL); in apply_constraints_for_gcond() 3373 gcc_assert (cfg_edge->flags & (EDGE_TRUE_VALUE | EDGE_FALSE_VALUE)); in apply_constraints_for_gcond() 3378 if (cfg_edge->flags & EDGE_FALSE_VALUE) in apply_constraints_for_gcond()
|
/dports/lang/rust/rustc-1.58.1-src/vendor/polonius-engine/src/ |
H A D | facts.rs | 17 pub cfg_edge: Vec<(T::Point, T::Point)>, field 97 cfg_edge: Vec::default(), in default()
|
/dports/lang/rust/rustc-1.58.1-src/src/test/run-make-fulldeps/obtain-borrowck/ |
H A D | driver.rs | 82 assert!(body.input_facts.cfg_edge.len() > 0); in after_analysis()
|