Hi,
On Thu, 18 Feb 2016, H.J. Lu wrote:
> >> An empty type is a type where it and all of its subobjects
> >> (recursively) are of class, structure, union, or array type. No
> >> memory slot nor register should be used to pass or return an object
> >> of empty type.
> >
> > The trivially copyable is gone again. Why is it not necessary?
>
> I think we want to cover
>
> struct
> {
> unsigned int : 8;
> };
>
> but not
>
> struct
> {
> unsigned int i :8;
> };
>
> " trivially copyable" applies to both.
Correct, but I'm not suggesting to use only the trivially copyable
definition, I want to have it added as condition for not requiring a
register or memory slot. I.e. "an object of empty type that's trivially
copyable".
Ciao,
Michael.
