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

Method visit_terminator

src/detector/memory/mod.rs:97–101  ·  view source on GitHub ↗
(&mut self, terminator: &Terminator<'tcx>, location: Location)

Source from the content-addressed store, hash-verified

95
96impl<'tcx> Visitor<'tcx> for AutoDropCollector<'tcx> {
97 fn visit_terminator(&mut self, terminator: &Terminator<'tcx>, location: Location) {
98 if let TerminatorKind::Drop { place, .. } = &terminator.kind {
99 self.drop_locations.push((location, *place));
100 }
101 }
102}
103
104fn is_reachable(from: Location, to: Location, body: &Body<'_>) -> bool {

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected