tests/ui/monomorphize-abi-alignment.rs

   1 // run-pass
   2
   3 #![allow(non_upper_case_globals)]
   4 #![allow(dead_code)]
   5 /*!
   6  * On x86_64-linux-gnu and possibly other platforms, structs get 8-byte "preferred" alignment,
   7  * but their "ABI" alignment (i.e., what actually matters for data layout) is the largest alignment
   8  * of any field. (Also, `u64` has 8-byte ABI alignment; this is not always true).
   9  *
  10  * On such platforms, if monomorphize uses the "preferred" alignment, then it will unify
  11  * `A` and `B`, even though `S<A>` and `S<B>` have the field `t` at different offsets,
  12  * and apply the wrong instance of the method `unwrap`.
  13  */
  14
  15 #[derive(Copy, Clone)]
  16 struct S<T> { i:u8, t:T }
  17
  18 impl<T> S<T> {
  19     fn unwrap(self) -> T {
  20         self.t
  21     }
  22 }
  23
  24 #[derive(Copy, Clone, PartialEq, Debug)]
  25 struct A((u32, u32));
  26
  27 #[derive(Copy, Clone, PartialEq, Debug)]
  28 struct B(u64);
  29
  30 pub fn main() {
  31     static Ca: S<A> = S { i: 0, t: A((13, 104)) };
  32     static Cb: S<B> = S { i: 0, t: B(31337) };
  33     assert_eq!(Ca.unwrap(), A((13, 104)));
  34     assert_eq!(Cb.unwrap(), B(31337));
  35 }