diff options
| author | Camille GILLOT <gillot.camille@gmail.com> | 2023-01-30 17:37:56 +0000 |
|---|---|---|
| committer | Camille GILLOT <gillot.camille@gmail.com> | 2023-02-06 22:01:07 +0000 |
| commit | 67a8c16fe285dc5dc3ca8a0c74fb1bcfa58ce8dc (patch) | |
| tree | 7fba5ca12c864fecfe89e8c47564dda981605f87 /compiler/rustc_middle | |
| parent | 9af191f86f2c81ec5613ae35ab1a3b2ac3edbdee (diff) | |
| download | rust-67a8c16fe285dc5dc3ca8a0c74fb1bcfa58ce8dc.tar.gz rust-67a8c16fe285dc5dc3ca8a0c74fb1bcfa58ce8dc.zip | |
Complete for_each_aliasing_place.
Diffstat (limited to 'compiler/rustc_middle')
| -rw-r--r-- | compiler/rustc_middle/src/mir/mod.rs | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/compiler/rustc_middle/src/mir/mod.rs b/compiler/rustc_middle/src/mir/mod.rs index 10ac7e0d39a..e272c90e0cd 100644 --- a/compiler/rustc_middle/src/mir/mod.rs +++ b/compiler/rustc_middle/src/mir/mod.rs @@ -1640,6 +1640,14 @@ impl<'tcx> PlaceRef<'tcx> { } } + /// Returns `true` if this `Place` contains a `Deref` projection. + /// + /// If `Place::is_indirect` returns false, the caller knows that the `Place` refers to the + /// same region of memory as its base. + pub fn is_indirect(&self) -> bool { + self.projection.iter().any(|elem| elem.is_indirect()) + } + /// If MirPhase >= Derefered and if projection contains Deref, /// It's guaranteed to be in the first place pub fn has_deref(&self) -> bool { |