summaryrefslogtreecommitdiffstats
path: root/src/test/ui/union/union-basic.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/union/union-basic.rs')
-rw-r--r--src/test/ui/union/union-basic.rs62
1 files changed, 62 insertions, 0 deletions
diff --git a/src/test/ui/union/union-basic.rs b/src/test/ui/union/union-basic.rs
new file mode 100644
index 000000000..dcc552ac7
--- /dev/null
+++ b/src/test/ui/union/union-basic.rs
@@ -0,0 +1,62 @@
+// run-pass
+// revisions: mirunsafeck thirunsafeck
+// [thirunsafeck]compile-flags: -Z thir-unsafeck
+
+#![allow(unused_imports)]
+
+// aux-build:union.rs
+
+extern crate union;
+use std::mem::{size_of, align_of, zeroed};
+
+union U {
+ a: u8,
+ b: u16
+}
+
+fn local() {
+ assert_eq!(size_of::<U>(), 2);
+ assert_eq!(align_of::<U>(), 2);
+
+ let u = U { a: 10 };
+ unsafe {
+ assert_eq!(u.a, 10);
+ let U { a } = u;
+ assert_eq!(a, 10);
+ }
+
+ let mut w = U { b: 0 };
+ unsafe {
+ assert_eq!(w.a, 0);
+ assert_eq!(w.b, 0);
+ w.a = 1;
+ assert_eq!(w.a, 1);
+ assert_eq!(w.b.to_le(), 1);
+ }
+}
+
+fn xcrate() {
+ assert_eq!(size_of::<union::U>(), 2);
+ assert_eq!(align_of::<union::U>(), 2);
+
+ let u = union::U { a: 10 };
+ unsafe {
+ assert_eq!(u.a, 10);
+ let union::U { a } = u;
+ assert_eq!(a, 10);
+ }
+
+ let mut w = union::U { b: 0 };
+ unsafe {
+ assert_eq!(w.a, 0);
+ assert_eq!(w.b, 0);
+ w.a = 1;
+ assert_eq!(w.a, 1);
+ assert_eq!(w.b.to_le(), 1);
+ }
+}
+
+fn main() {
+ local();
+ xcrate();
+}