add bitfields documentation

Author: WalterBright

spec/declaration.dd

@@ -39,8 +39,14 @@ $(GNAME DeclaratorIdentifierList):
 
 $(GNAME DeclaratorIdentifier):
     $(GLINK VarDeclaratorIdentifier)
+    $(GLINK BitfieldDeclarator)
     $(GLINK AltDeclaratorIdentifier)
 
+$(GNAME BitfieldDeclarator):
+    $(D :) $(GLINK2 expression, AssignExpression)
+    $(GLINK_LEX Identifier) $(D :) $(GLINK2 expression, AssignExpression)
+    $(GLINK_LEX Identifier) $(D :) $(GLINK2 expression, AssignExpression) $(D =) $(GLINK Initializer)
+
 $(GNAME VarDeclaratorIdentifier):
     $(GLINK_LEX Identifier)
     $(GLINK_LEX Identifier) $(GLINK2 template, TemplateParameters)$(OPT) $(D =) $(GLINK Initializer)

spec/struct.dd

@@ -99,6 +99,57 @@ $(H2 $(LNAME2 struct_layout, Struct Layout))
     $(LI Avoid using empty structs as parameters or arguments to variadic functions.)
     ))
 
+$(H2 $(LNAME2 bitfields, Bit Field Declarations))
+
+    $(P A bit field is declared with a $(GLINK2 declaration, BitfieldDeclarator). The bit field width
+    is specified by the $(GLINK2 expression, AssignExpression). It is evaluated at compile time, and
+    must result in an integer expression that ranges from 0 to the number of bits in type of the
+    bit field.)
+
+    $(P The type of the bit field must be an integral type, signed or unsigned. The values assigned to
+    bit fields must fit into the specified width. The bit field is placed into a unit of memory at least
+    as large as needed to hold a value of the type of the bit field.)
+
+    $(P Anonymous bit fields do not have a $(GLINK_LEX Identifier) for them.)
+
+    $(P A zero width bit field must be anonymous. A zero width bit field causes the next bit field
+    to be placed into the next unit.)
+
+    $(P The address of a bit field cannot be taken.
+    $(D ref) declarations cannot be initialized from bit fields.
+    Arrays of bit fields are not allowed.
+    Bit fields can only be fields in structs, unions and classes.
+    Bit fields must be non-static.
+    )
+
+    ---
+    struct B
+    {
+        int x:3, y:2;
+    }
+
+    static assert(B.sizeof == 4);
+
+    int vaporator(B b)
+    {
+        b.x = 4;
+        b.y = 2;
+        return b.x + b.y; // returns 6
+    }
+    ---
+
+    $(IMPLEMENTATION_DEFINED Reading and writing a bit field may cause reads and writes of other bit
+    fields in the same unit. Any use of bit fields where asynchronous access is possible will produce
+    unreliable results.)
+
+    $(IMPLEMENTATION_DEFINED the layout of the bit fields is implementation defined. In practice, it is
+    expected to be identical to that of ImportC.)
+
+    $(BEST_PRACTICE
+    Because the layout of the bit fields is implementation defined, using them to match an externally
+    defined layout is not a good idea. Use shifts and masks instead for such portability.
+    )
+
 $(H2 $(LNAME2 POD, Plain Old Data))
 
     $(P A struct or union is $(I Plain Old Data) (POD) if it meets the following criteria:)