mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Flood with bottom instead of top for unreachable branches

Browse Source
This commit is contained in:
Jannis Christopher Köhl 2022-09-01 14:22:37 +02:00
parent ad99d2e15d
commit 47a00d5337
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
compiler/rustc_mir_transform/src/dataflow_const_prop.rs
View File

@ -182,8 +182,8 @@ impl<'tcx> ValueAnalysis<'tcx> for ConstAnalysis<'tcx> {
// Branch is taken. Has no effect on state. // Branch is taken. Has no effect on state.
handled = true; handled = true;
} else { } else {
// Branch is not taken, we can flood everything. // Branch is not taken, we can flood everything with bottom.
state.flood_all(); state.flood_all_with(FlatSet::Bottom);
} }
}) })
} }