From aa48a170d55e3003b70626b16ccd698b5aca8269 Mon Sep 17 00:00:00 2001
From: Niko Matsakis <niko@alum.mit.edu>
Date: Tue, 30 Apr 2013 14:07:26 -0400
Subject: [PATCH] dataflow: fix flow of information through pattern variants

---
 src/librustc/middle/dataflow.rs | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/librustc/middle/dataflow.rs b/src/librustc/middle/dataflow.rs
index cfdd7f95030a..9d032a1839e2 100644
--- a/src/librustc/middle/dataflow.rs
+++ b/src/librustc/middle/dataflow.rs
@@ -846,10 +846,9 @@ impl<'self, O:DataFlowOperator> PropagationContext<'self, O> {
         // alternatives, so we must treat this like an N-way select
         // statement.
         let initial_state = reslice(in_out).to_vec();
-        self.reset(in_out);
         for pats.each |&pat| {
             let mut temp = copy initial_state;
-            self.walk_pat(pat, in_out, loop_scopes);
+            self.walk_pat(pat, temp, loop_scopes);
             join_bits(&self.dfcx.oper, temp, in_out);
         }
     }