Fix false lint warnings in match arms with multiple patterns

fixing #13866

src/librustc/middle/lint.rs

@@ -1367,29 +1367,39 @@ fn check_unsafe_block(cx: &Context, e: &ast::Expr) {
     }
 }
 
-fn check_unused_mut_pat(cx: &Context, p: &ast::Pat) {
+fn check_unused_mut_pat(cx: &Context, pats: &[@ast::Pat]) {
-    match p.node {
+    // collect all mutable pattern and group their NodeIDs by their Identifier to
-        ast::PatIdent(ast::BindByValue(ast::MutMutable),
+    // avoid false warnings in match arms with multiple patterns
-                      ref path, _) if pat_util::pat_is_binding(&cx.tcx.def_map, p) => {
+    let mut mutables = HashMap::new();
-            // `let mut _a = 1;` doesn't need a warning.
+    for &p in pats.iter() {
-            let initial_underscore = if path.segments.len() == 1 {
+        pat_util::pat_bindings(&cx.tcx.def_map, p, |mode, id, _, path| {
-                token::get_ident(path.segments
+            match mode {
-                                     .get(0)
+                ast::BindByValue(ast::MutMutable) => {
-                                     .identifier).get().starts_with("_")
+                    if path.segments.len() != 1 {
-            } else {
                         cx.tcx.sess.span_bug(p.span,
                                              "mutable binding that doesn't consist \
-                                      of exactly one segment")
+                                              of exactly one segment");
-            };
+                    }
+                    let ident = path.segments.get(0).identifier;
+                    if !token::get_ident(ident).get().starts_with("_") {
+                        mutables.insert_or_update_with(ident.name as uint, vec!(id), |_, old| {
+                            old.push(id);
+                        });
+                    }
+                }
+                _ => {
+                }
+            }
+        });
+    }
 
-            if !initial_underscore &&
+    let used_mutables = cx.tcx.used_mut_nodes.borrow();
-               !cx.tcx.used_mut_nodes.borrow().contains(&p.id) {
+    for (_, v) in mutables.iter() {
-                cx.span_lint(UnusedMut, p.span,
+        if !v.iter().any(|e| used_mutables.contains(e)) {
+            cx.span_lint(UnusedMut, cx.tcx.map.span(*v.get(0)),
                          "variable does not need to be mutable");
         }
     }
-        _ => ()
-    }
 }
 
 enum Allocation {
@@ -1684,7 +1694,6 @@ impl<'a> Visitor<()> for Context<'a> {
     fn visit_pat(&mut self, p: &ast::Pat, _: ()) {
         check_pat_non_uppercase_statics(self, p);
         check_pat_uppercase_variable(self, p);
-        check_unused_mut_pat(self, p);
 
         visit::walk_pat(self, p, ());
     }
@@ -1700,6 +1709,11 @@ impl<'a> Visitor<()> for Context<'a> {
             ast::ExprParen(expr) => if self.negated_expr_id == e.id {
                 self.negated_expr_id = expr.id
             },
+            ast::ExprMatch(_, ref arms) => {
+                for a in arms.iter() {
+                    check_unused_mut_pat(self, a.pats.as_slice());
+                }
+            },
             _ => ()
         };
 
@@ -1723,6 +1737,18 @@ impl<'a> Visitor<()> for Context<'a> {
         check_unused_result(self, s);
         check_unnecessary_parens_stmt(self, s);
 
+        match s.node {
+            ast::StmtDecl(d, _) => {
+                match d.node {
+                    ast::DeclLocal(l) => {
+                        check_unused_mut_pat(self, &[l.pat]);
+                    },
+                    _ => {}
+                }
+            },
+            _ => {}
+        }
+
         visit::walk_stmt(self, s, ());
     }
 
@@ -1732,6 +1758,10 @@ impl<'a> Visitor<()> for Context<'a> {
             visit::walk_fn(this, fk, decl, body, span, id, ());
         };
 
+        for a in decl.inputs.iter(){
+            check_unused_mut_pat(self, &[a.pat]);
+        }
+
         match *fk {
             visit::FkMethod(_, _, m) => {
                 self.with_lint_attrs(m.attrs.as_slice(), |cx| {

src/test/compile-fail/lint-unused-mut-variables.rs

@@ -28,6 +28,13 @@ fn main() {
     match 30 {
         mut x => {} //~ ERROR: variable does not need to be mutable
     }
+    match (30, 2) {
+      (mut x, 1) | //~ ERROR: variable does not need to be mutable
+      (mut x, 2) |
+      (mut x, 3) => {
+      }
+      _ => {}
+    }
 
     let x = |mut y: int| 10; //~ ERROR: variable does not need to be mutable
     fn what(mut foo: int) {} //~ ERROR: variable does not need to be mutable
@@ -50,6 +57,15 @@ fn main() {
         }
     }
 
+    match (30, 2) {
+      (mut x, 1) |
+      (mut x, 2) |
+      (mut x, 3) => {
+        x = 21
+      }
+      _ => {}
+    }
+
     let x = |mut y: int| y = 32;
     fn nothing(mut foo: int) { foo = 37; }