rust/tests/ui/monomorphize-abi-alignment.rs

Ignoring revisions in .git-blame-ignore-revs. Click here to bypass and see the normal blame view.

36 lines
1.0 KiB
Rust
Raw Normal View History

// run-pass
#![allow(non_upper_case_globals)]
#![allow(dead_code)]
/*!
* On x86_64-linux-gnu and possibly other platforms, structs get 8-byte "preferred" alignment,
* but their "ABI" alignment (i.e., what actually matters for data layout) is the largest alignment
2019-02-09 21:23:30 +00:00
* of any field. (Also, `u64` has 8-byte ABI alignment; this is not always true).
*
* On such platforms, if monomorphize uses the "preferred" alignment, then it will unify
* `A` and `B`, even though `S<A>` and `S<B>` have the field `t` at different offsets,
* and apply the wrong instance of the method `unwrap`.
*/
2015-03-30 13:38:27 +00:00
#[derive(Copy, Clone)]
struct S<T> { i:u8, t:T }
impl<T> S<T> {
fn unwrap(self) -> T {
self.t
}
}
2015-03-30 13:38:27 +00:00
#[derive(Copy, Clone, PartialEq, Debug)]
struct A((u32, u32));
2015-03-30 13:38:27 +00:00
#[derive(Copy, Clone, PartialEq, Debug)]
struct B(u64);
pub fn main() {
2013-06-13 21:59:34 +00:00
static Ca: S<A> = S { i: 0, t: A((13, 104)) };
static Cb: S<B> = S { i: 0, t: B(31337) };
assert_eq!(Ca.unwrap(), A((13, 104)));
assert_eq!(Cb.unwrap(), B(31337));
}