[cxx-abi-dev] C++0x POD

[Mark Mitchell]

Jason Merrill wrote:

>   For any POD type T, if two pointers to T point to distinct T objects
> obj1 and obj2, where neither obj1 nor obj2 is a base-class subobject, if
> the value of obj1 is copied into obj2, using the std::memcpy library
> function, obj2 shall subsequently hold the same value as obj1.
> 
> It seems that the "where neither is a base-class subobject" means that
> this doesn't actually impose any requirements on tail padding?

That was the passage I remembered; it was something about using bitwise
copying.  IIRC, Matt Austern was the one who made the observation that
the standard prevented the use of tail padding.  I wonder if something
changed in the standard after we drafted those words?

-- 
Mark Mitchell
CodeSourcery
mark at codesourcery.com
(650) 331-3385 x713