MCPcopy Create free account
hub / github.com/CodeSentryAI/lockbud / get_node

Method get_node

src/analysis/pointsto/mod.rs:216–218  ·  view source on GitHub ↗
(&self, node: &ConstraintNode<'tcx>)

Source from the content-addressed store, hash-verified

214 }
215
216 fn get_node(&self, node: &ConstraintNode<'tcx>) -> Option<NodeIndex> {
217 self.node_map.get(node).copied()
218 }
219
220 fn add_alloc(&mut self, place: PlaceRef<'tcx>) {
221 let lhs = ConstraintNode::Place(place);

Callers 5

store_sourcesMethod · 0.80
load_targetsMethod · 0.80
copy_targetsMethod · 0.80
alias_copy_targetsMethod · 0.80
insert_edgeMethod · 0.80

Calls

no outgoing calls

Tested by

no test coverage detected