Skip to content

Commit a4c1ca3

Browse files
committed
introduce borrowed locals analysis based on liveness analysis
1 parent 0a32ca9 commit a4c1ca3

File tree

6 files changed

+685
-3
lines changed

6 files changed

+685
-3
lines changed

Cargo.lock

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -3760,6 +3760,7 @@ dependencies = [
37603760
name = "rustc_mir_dataflow"
37613761
version = "0.0.0"
37623762
dependencies = [
3763+
"either",
37633764
"polonius-engine",
37643765
"regex",
37653766
"rustc_ast",

compiler/rustc_mir_dataflow/Cargo.toml

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -22,3 +22,4 @@ rustc_middle = { path = "../rustc_middle" }
2222
rustc_serialize = { path = "../rustc_serialize" }
2323
rustc_target = { path = "../rustc_target" }
2424
rustc_span = { path = "../rustc_span" }
25+
either = "1"

compiler/rustc_mir_dataflow/src/framework/cursor.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -140,7 +140,6 @@ where
140140
}
141141

142142
/// Allows inspection of unreachable basic blocks even with `debug_assertions` enabled.
143-
#[cfg(test)]
144143
pub(crate) fn allow_unreachable(&mut self) {
145144
#[cfg(debug_assertions)]
146145
self.reachable_blocks.insert_all()

0 commit comments

Comments
 (0)