user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Consider StorageDead and StorageLive as gens for liveness analysis

Browse source
This commit is contained in:
John Kåre Alsaker 2017-07-13 04:40:57 +02:00
parent 75eb59895f
commit 21f2d259e0
1 changed files with 4 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

6
src/librustc_mir/util/liveness.rs
View file

@ -46,7 +46,10 @@ impl<'tcx> Visitor<'tcx> for BlockInfoVisitor {
location: Location) {
if let Lvalue::Local(local) = *lvalue {
match context {
LvalueContext::Store | LvalueContext::Call => {
LvalueContext::Store |
LvalueContext::Call |
LvalueContext::StorageLive |
LvalueContext::StorageDead => {
self.defs.add(&local);
}
LvalueContext::Projection(..) |
@ -59,7 +62,6 @@ impl<'tcx> Visitor<'tcx> for BlockInfoVisitor {
self.uses.add(&local);
}
}
LvalueContext::StorageLive | LvalueContext::StorageDead => (),
}
}