CWG2254 Standard-layout classes and bit-fields

Author: tkoeppe

source/basic.tex

@@ -4156,7 +4156,7 @@
 one is a standard-layout class object and
 the other is the first non-static data member of that object, or,
 if the object has no non-static data members,
-the first base class subobject of that object\iref{class.mem}, or
+any base class subobject of that object\iref{class.mem}, or
 \item
 there exists an object \placeholder{c} such that
 \placeholder{a} and \placeholder{c} are pointer-interconvertible, and

source/classes.tex

@@ -801,10 +801,12 @@
 
 \pnum
 If a standard-layout class object has any non-static data members, its address
-is the same as the address of its first non-static data member. Otherwise, its
-address is the same as the address of its first base class subobject (if any).
+is the same as the address of its first non-static data member
+if that member is not a bit-field. Its
+address is also the same as the address of each of its base class subobjects.
 \begin{note}
-There might therefore be unnamed padding within a standard-layout struct object, but
+There might therefore be unnamed padding within a standard-layout struct object
+inserted by an implementation, but
 not at its beginning, as necessary to achieve appropriate alignment.
 \end{note}
 \begin{note}