about summary refs log tree commit diff
path: root/compiler/rustc_mir_dataflow
diff options
context:
space:
mode:
authorMatthias Krüger <matthias.krueger@famsik.de>2023-08-06 17:26:29 +0200
committerGitHub <noreply@github.com>2023-08-06 17:26:29 +0200
commit13de58358301f1affe0d8fbdeb1f8e8bf8d5fe00 (patch)
treed4220fe0d4a72ec45cbd6afe6ea9f5b9783c8d33 /compiler/rustc_mir_dataflow
parent92c04217bab4726319839d2fdae05c255c94e3a8 (diff)
parent6df546281bf8ffc39df9430aa1717656dfbbcf7a (diff)
downloadrust-13de58358301f1affe0d8fbdeb1f8e8bf8d5fe00.tar.gz
rust-13de58358301f1affe0d8fbdeb1f8e8bf8d5fe00.zip
Rollup merge of #114505 - ouz-a:cleanup_mir, r=RalfJung
Add documentation to has_deref

Documentation of `has_deref` needed some polish to be more clear about where it should be used and what's it's purpose.

cc https://github.com/rust-lang/rust/issues/114401

r? `@RalfJung`
Diffstat (limited to 'compiler/rustc_mir_dataflow')
-rw-r--r--compiler/rustc_mir_dataflow/src/value_analysis.rs2
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/rustc_mir_dataflow/src/value_analysis.rs b/compiler/rustc_mir_dataflow/src/value_analysis.rs
index 8d78ec04821..17bb8fc37ad 100644
--- a/compiler/rustc_mir_dataflow/src/value_analysis.rs
+++ b/compiler/rustc_mir_dataflow/src/value_analysis.rs
@@ -839,7 +839,7 @@ impl Map {
         tail_elem: Option<TrackElem>,
         f: &mut impl FnMut(ValueIndex),
     ) {
-        if place.has_deref() {
+        if place.is_indirect_first_projection() {
             // We do not track indirect places.
             return;
         }