Home
last modified time | relevance | path

Searched refs:cfg_edge (Results 1 – 23 of 23) sorted by relevance

/dports/lang/rust/rustc-1.58.1-src/vendor/polonius-engine/src/output/
H A Dinitialization.rs122 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 Dnaive.rs31 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 Dmod.rs141 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 Dliveness.rs23 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 Ddatafrog_opt.rs29 let cfg_edge_rel = &ctx.cfg_edge; in compute()
/dports/lang/rust/rustc-1.58.1-src/compiler/rustc_borrowck/src/
H A Dconstraint_generation.rs89 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 Dfacts.rs70 cfg_edge, in write_to_dir()
/dports/devel/avr-gcc/gcc-10.2.0/gcc/analyzer/
H A Dsupergraph.cc170 ::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 Dregion-model.cc6179 ::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 Dsupergraph.cc170 ::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 Dregion-model.cc6179 ::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 Dsupergraph.cc170 ::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 Dregion-model.cc6179 ::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 Dsupergraph.cc218 ::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 Dregion-model.cc2769 ::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 Dsupergraph.cc218 ::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 Dregion-model.cc2769 ::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 Dsupergraph.cc218 ::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 Dregion-model.cc2769 ::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 Dsupergraph.cc242 ::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 Dregion-model.cc3371 ::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 Dfacts.rs17 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 Ddriver.rs82 assert!(body.input_facts.cfg_edge.len() > 0); in after_analysis()