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

Method add_load

src/analysis/pointsto/mod.rs:263–269  ·  view source on GitHub ↗
(&mut self, lhs: PlaceRef<'tcx>, rhs: PlaceRef<'tcx>)

Source from the content-addressed store, hash-verified

261 }
262
263 fn add_load(&mut self, lhs: PlaceRef<'tcx>, rhs: PlaceRef<'tcx>) {
264 let lhs = ConstraintNode::Place(lhs);
265 let rhs = ConstraintNode::Place(rhs);
266 let lhs = self.get_or_insert_node(lhs);
267 let rhs = self.get_or_insert_node(rhs);
268 self.graph.add_edge(rhs, lhs, ConstraintEdge::Load);
269 }
270
271 fn add_store(&mut self, lhs: PlaceRef<'tcx>, rhs: PlaceRef<'tcx>) {
272 let lhs = ConstraintNode::Place(lhs);

Callers 2

process_assignmentMethod · 0.80
process_alias_copyMethod · 0.80

Calls 2

get_or_insert_nodeMethod · 0.80
add_edgeMethod · 0.80

Tested by

no test coverage detected