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

Class AutoDropCollector

src/detector/memory/mod.rs:80–82  ·  view source on GitHub ↗

Collect TerminatorKind::Drop

Source from the content-addressed store, hash-verified

78
79/// Collect TerminatorKind::Drop
80struct AutoDropCollector<'tcx> {
81 drop_locations: Vec<(Location, Place<'tcx>)>,
82}
83
84impl<'tcx> AutoDropCollector<'tcx> {
85 fn new() -> Self {

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected