Consider StorageDead and StorageLive as gens for liveness analysis

1 files changed, 4 insertions, 2 deletions

diff --git a/src/librustc_mir/util/liveness.rs b/src/librustc_mir/util/liveness.rs
index 79293cfde25..c96e3ec057b 100644
--- a/src/librustc_mir/util/liveness.rs
+++ b/src/librustc_mir/util/liveness.rs
@@ -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 => (),
             }
         }