summaryrefslogtreecommitdiffstats
path: root/src/test/ui/repr_c_int_align.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/repr_c_int_align.rs')
-rw-r--r--src/test/ui/repr_c_int_align.rs46
1 files changed, 46 insertions, 0 deletions
diff --git a/src/test/ui/repr_c_int_align.rs b/src/test/ui/repr_c_int_align.rs
new file mode 100644
index 000000000..fdd14fc2d
--- /dev/null
+++ b/src/test/ui/repr_c_int_align.rs
@@ -0,0 +1,46 @@
+// run-pass
+// compile-flags: -O
+
+#![allow(dead_code)]
+
+#[repr(C, u8)]
+enum ReprCu8 {
+ A(u16),
+ B,
+}
+
+#[repr(u8)]
+enum Repru8 {
+ A(u16),
+ B,
+}
+
+#[repr(C)]
+struct ReprC {
+ tag: u8,
+ padding: u8,
+ payload: u16,
+}
+
+fn main() {
+ // Test `repr(C, u8)`.
+ let r1 = ReprC { tag: 0, padding: 0, payload: 0 };
+ let r2 = ReprC { tag: 0, padding: 1, payload: 1 };
+
+ let t1: &ReprCu8 = unsafe { std::mem::transmute(&r1) };
+ let t2: &ReprCu8 = unsafe { std::mem::transmute(&r2) };
+
+ match (t1, t2) {
+ (ReprCu8::A(_), ReprCu8::A(_)) => (),
+ _ => assert!(false)
+ };
+
+ // Test `repr(u8)`.
+ let t1: &Repru8 = unsafe { std::mem::transmute(&r1) };
+ let t2: &Repru8 = unsafe { std::mem::transmute(&r2) };
+
+ match (t1, t2) {
+ (Repru8::A(_), Repru8::A(_)) => (),
+ _ => assert!(false)
+ };
+}