src/test/ui/layout/homogeneous-aggr-zero-sized-c-struct.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36

#![feature(rustc_attrs)]

// Show that `homogeneous_aggregate` code ignores zero-length C
// arrays.  This matches the recent C standard, though not the
// behavior of all older compilers, which sometimes consider `T[0]` to
// be a "flexible array member" (see discussion on #56877 for
// details).

#[repr(C)]
pub struct Foo {
    x: u32
}

#[repr(C)]
pub struct Middle {
    pub a: f32,
    pub foo: [Foo; 0],
    pub b: f32,
}

#[rustc_layout(homogeneous_aggregate)]
pub type TestMiddle = Middle;
//~^ ERROR homogeneous_aggregate: Ok(Homogeneous

#[repr(C)]
pub struct Final {
    pub a: f32,
    pub b: f32,
    pub foo: [Foo; 0],
}

#[rustc_layout(homogeneous_aggregate)]
pub type TestFinal = Final;
//~^ ERROR homogeneous_aggregate: Ok(Homogeneous

fn main() { }