bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Use successor location for dominator check.

Browse source 
The assignment is complete only after the statement.
This marks self-assignments `x = x + 1` as non-sSA.
This commit is contained in:
Camille GILLOT 2023-01-22 20:39:44 +00:00
parent d29dc057ba
commit 263da251af
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
compiler/rustc_mir_transform/src/ssa.rs
View file

@ -162,7 +162,7 @@ impl<'tcx> Visitor<'tcx> for SsaVisitor {
Set1::Empty | Set1::Many => false, Set1::Empty | Set1::Many => false,
Set1::One(LocationExtended::Arg) => true, Set1::One(LocationExtended::Arg) => true,
Set1::One(LocationExtended::Plain(assign)) => { Set1::One(LocationExtended::Plain(assign)) => {
assign.dominates(loc, &self.dominators) assign.successor_within_block().dominates(loc, &self.dominators)
} }
}; };
// We are visiting a use that is not dominated by an assignment. // We are visiting a use that is not dominated by an assignment.