---

yaml
---
r: 64703
b: refs/heads/snap-stage3
c: fdd71be
h: refs/heads/master
i:
  64701: 7b0a0c4
  64699: 9b6e63b
  64695: 0961075
  64687: 5b186cc
  64671: a59e9c7
  64639: f6daf75
v: v3

Author: emillon

[refs]

@@ -1,7 +1,7 @@
 ---
 refs/heads/master: 2d28d645422c1617be58c8ca7ad9a457264ca850
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
-refs/heads/snap-stage3: 5c729c0dca65a014b6dec10cfd5259c6d0687d72
+refs/heads/snap-stage3: fdd71bece23b3d6776ca86336749e50560617a56
 refs/heads/try: 7b78b52e602bb3ea8174f9b2006bff3315f03ef9
 refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105
 refs/heads/ndm: f3868061cd7988080c30d6d5bf352a5a5fe2460b

branches/snap-stage3/src/librustc/middle/check_match.rs

@@ -104,18 +104,23 @@ pub fn check_arms(cx: &MatchCheckCtxt, arms: &[arm]) {
         for arm.pats.iter().advance |pat| {
 
             // Check that we do not match against a static NaN (#6804)
-            match cx.tcx.def_map.find(&pat.id) {
-                Some(&def_static(did, false)) => {
-                    let const_expr = lookup_const_by_id(cx.tcx, did).get();
-                    match eval_const_expr(cx.tcx, const_expr) {
-                        const_float(f) if f.is_NaN() => {
-                            let msg = "unmatchable NaN in pattern, use is_NaN() in a guard instead";
-                            cx.tcx.sess.span_warn(pat.span, msg);
+            let pat_matches_nan: &fn(@pat) -> bool = |p| {
+                match cx.tcx.def_map.find(&p.id) {
+                    Some(&def_static(did, false)) => {
+                        let const_expr = lookup_const_by_id(cx.tcx, did).get();
+                        match eval_const_expr(cx.tcx, const_expr) {
+                            const_float(f) if f.is_NaN() => true,
+                            _ => false
                         }
-                        _ => {}
                     }
+                    _ => false
+                }
+            };
+            for walk_pat(*pat) |p| {
+                if pat_matches_nan(p) {
+                    cx.tcx.sess.span_warn(p.span, "unmatchable NaN in pattern, \
+                                                   use is_NaN() in a guard instead");
                 }
-                _ => {}
             }
 
             let v = ~[*pat];

branches/snap-stage3/src/test/compile-fail/issue-6804.rs

@@ -9,6 +9,11 @@ fn main() {
         _ => {},
     };
     //~^^^ WARNING unmatchable NaN in pattern, use is_NaN() in a guard instead
+    match [x, 1.0] {
+        [NaN, _] => {},
+        _ => {},
+    };
+    //~^^^ WARNING unmatchable NaN in pattern, use is_NaN() in a guard instead
 }
 
 // At least one error is needed so that compilation fails