nordic-dev.net/rust
nordic-dev.net/rust
2
0
Fork 0
mirror of https://github.com/rust-lang/rust.git synced 2024-11-22 14:55:26 +00:00
Code Issues Packages Projects Releases Wiki Activity

Flood place on drop

Browse Source
This commit is contained in:
Jannis Christopher Köhl 2022-09-04 12:02:38 +02:00
parent 2113e45488
commit 904adcac0f
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
compiler/rustc_mir_dataflow/src/value_analysis.rs
View File

@ -199,11 +199,15 @@ pub trait ValueAnalysis<'tcx> {
self.super_terminator(terminator, state) self.super_terminator(terminator, state)
} }
fn super_terminator(&self, terminator: &Terminator<'tcx>, _state: &mut State<Self::Value>) { fn super_terminator(&self, terminator: &Terminator<'tcx>, state: &mut State<Self::Value>) {
match &terminator.kind { match &terminator.kind {
TerminatorKind::Call { .. } | TerminatorKind::InlineAsm { .. } => { TerminatorKind::Call { .. } | TerminatorKind::InlineAsm { .. } => {
// Effect is applied by `handle_call_return`. // Effect is applied by `handle_call_return`.
} }
TerminatorKind::Drop { place, .. } => {
// Place can still be accessed after drop, and drop has mutable access to it.
state.flood(place.as_ref(), self.map());
}
TerminatorKind::DropAndReplace { .. } | TerminatorKind::Yield { .. } => { TerminatorKind::DropAndReplace { .. } | TerminatorKind::Yield { .. } => {
// They would have an effect, but are not allowed in this phase. // They would have an effect, but are not allowed in this phase.
bug!("encountered disallowed terminator"); bug!("encountered disallowed terminator");