diff options
| author | Oliver Scherer <github35764891676564198441@oli-obk.de> | 2019-02-19 09:43:39 +0100 |
|---|---|---|
| committer | Oliver Scherer <github35764891676564198441@oli-obk.de> | 2019-03-04 17:10:02 +0100 |
| commit | d32b7e5b13ee833675c8fb3c905a4286690ceb15 (patch) | |
| tree | 762b8e134e4b60e7ffa3bfdd9a05173513ac00d8 | |
| parent | aa8c48a2746e85b1a2e2ff53a34f30b81920fa5f (diff) | |
Test the `UndefMask` type
| -rw-r--r-- | src/test/run-pass-fulldeps/undef_mask.rs | 26 |
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))); + } +} |
