about summary refs log tree commit diff
diff options
context:
space:
mode:
authorOliver Scherer <github35764891676564198441@oli-obk.de>2019-02-19 09:43:39 +0100
committerOliver Scherer <github35764891676564198441@oli-obk.de>2019-03-04 17:10:02 +0100
commitd32b7e5b13ee833675c8fb3c905a4286690ceb15 (patch)
tree762b8e134e4b60e7ffa3bfdd9a05173513ac00d8
parentaa8c48a2746e85b1a2e2ff53a34f30b81920fa5f (diff)
Test the `UndefMask` type
-rw-r--r--src/test/run-pass-fulldeps/undef_mask.rs26
1 files changed, 26 insertions, 0 deletions
diff --git a/src/test/run-pass-fulldeps/undef_mask.rs b/src/test/run-pass-fulldeps/undef_mask.rs
new file mode 100644
index 00000000000..37c44e2df6c
--- /dev/null
+++ b/src/test/run-pass-fulldeps/undef_mask.rs
@@ -0,0 +1,26 @@
+// ignore-cross-compile
+// ignore-stage1
+
+#![feature(rustc_private)]
+
+extern crate rustc;
+
+use rustc::mir::interpret::UndefMask;
+use rustc::ty::layout::Size;
+
+fn main() {
+    let mut mask = UndefMask::new(Size::from_bytes(500));
+    assert!(!mask.get(Size::from_bytes(499)));
+    mask.set(Size::from_bytes(499), true);
+    assert!(mask.get(Size::from_bytes(499)));
+    mask.set_range_inbounds(Size::from_bytes(100), Size::from_bytes(256), true);
+    for i in 0..100 {
+        assert!(!mask.get(Size::from_bytes(i)));
+    }
+    for i in 100..256 {
+        assert!(mask.get(Size::from_bytes(i)));
+    }
+    for i in 256..499 {
+        assert!(!mask.get(Size::from_bytes(i)));
+    }
+}