---

yaml
---
r: 48504
b: refs/heads/snap-stage3
c: 7b2b4fa
h: refs/heads/master
v: v3

Author: jld

[refs]

@@ -1,7 +1,7 @@
 ---
 refs/heads/master: 3bbcac322669cff3abde5be937cc4ec3860f3985
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
-refs/heads/snap-stage3: 04ecab909a38a8c19405ea577e826facfe4d7da8
+refs/heads/snap-stage3: 7b2b4faba84c1d43af35397d0103747fe085ee45
 refs/heads/try: 2a8fb58d79e685d5ca07b039badcf2ae3ef077ea
 refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105
 refs/heads/ndm: f3868061cd7988080c30d6d5bf352a5a5fe2460b

branches/snap-stage3/src/librustc/middle/trans/adt.rs

@@ -139,7 +139,6 @@ fn generic_fields_of(cx: @CrateContext, r: &Repr, sizing: bool)
 fn load_discr(bcx: block, scrutinee: ValueRef, min: int, max: int)
     -> ValueRef {
     let ptr = GEPi(bcx, scrutinee, [0, 0]);
-    // XXX: write tests for the edge cases here
     if max + 1 == min {
         // i.e., if the range is everything.  The lo==hi case would be
         // rejected by the LLVM verifier (it would mean either an

branches/snap-stage3/src/test/run-pass/enum-discrim-range-overflow.rs

@@ -0,0 +1,31 @@
+// Copyright 2013 The Rust Project Developers. See the COPYRIGHT
+// file at the top-level directory of this distribution and at
+// http://rust-lang.org/COPYRIGHT.
+//
+// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
+// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
+// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
+// option. This file may not be copied, modified, or distributed
+// except according to those terms.
+
+pub enum E64 {
+	H64 = 0x7FFF_FFFF_FFFF_FFFF,
+	L64 = 0x8000_0000_0000_0000
+}
+pub enum E32 {
+	H32 = 0x7FFF_FFFF,
+	L32 = 0x8000_0000
+}
+
+pub fn f(e64: E64, e32: E32) -> (bool,bool) {
+	(match e64 {
+		H64 => true,
+		L64 => false
+	},
+	 match e32 {
+		H32 => true,
+		L32 => false
+	})
+}
+
+pub fn main() { }