bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Simplify visit_place.

Browse source
This commit is contained in:
Camille GILLOT 2023-07-01 09:41:06 +00:00
parent 6d7304167c
commit b4c342edea
1 changed files with 13 additions and 14 deletions
Download patch file Download diff file Expand all files Collapse all files

15
compiler/rustc_mir_transform/src/ref_prop.rs
View file

@ -374,23 +374,22 @@ impl<'tcx> MutVisitor<'tcx> for Replacer<'tcx> {
} }
fn visit_place(&mut self, place: &mut Place<'tcx>, ctxt: PlaceContext, loc: Location) { fn visit_place(&mut self, place: &mut Place<'tcx>, ctxt: PlaceContext, loc: Location) {
loop {
if place.projection.first() != Some(&PlaceElem::Deref) { if place.projection.first() != Some(&PlaceElem::Deref) {
return; return;
} }
loop { let Value::Pointer(target, _) = self.targets[place.local] else { return };
if let Value::Pointer(target, _) = self.targets[place.local] {
let perform_opt = matches!(ctxt, PlaceContext::NonUse(_)) let perform_opt = matches!(ctxt, PlaceContext::NonUse(_))
|| self.allowed_replacements.contains(&(target.local, loc)); || self.allowed_replacements.contains(&(target.local, loc));
if perform_opt { if !perform_opt {
*place = target.project_deeper(&place.projection[1..], self.tcx); return;
self.any_replacement = true;
continue;
}
} }
break; *place = target.project_deeper(&place.projection[1..], self.tcx);
self.any_replacement = true;
} }
} }