...
- The alignment of bit-fields in the storage unit. For example, the bit-fields may be allocated from the high end or the low end of the storage unit.
- Whether or not bit-fields can overlap an storage unit boundary. For example, assuming eight bits to a byte, if bit-fields of six and four bits are declared, is each bitfield contained within a byte or are they be split across multiple bytes?
Consequently, it is impossible to write portable code that makes assumptions about the layout of bit-fields structures.
Non-Compliant Code Example (alignment)
Bit-fields can be used to allow flags or other integer values with small ranges to be packed together to save storage space. When used in structure members, bit fields can improve storage efficiency. Compilers typically allocate consecutive bit-field structure members to the same int-sized storage, as long as they fit into that completely into that storage unit. However, the order of allocation within a storage unit is implementation dependent. Some implementations are "right-to-left": the first member occupies the low-order position of the storage unit. Others are "left-to-right": the first member occupies the high-order position of the storage unit. Calculations that depend on the order bits within a storage unit may produce different on different implementations.
...
Conversely, left-to-right implementations will allocate struct bf as one storage unit with the format:
| Code Block |
|---|
m1 m2 m3 m4 |
Compliant Solution (alignment)
| Code Block | ||
|---|---|---|
| ||
Non-Compliant Code Example (overlap)
In this non-compliant example, assuming eight bits to a byte, if bit-fields of six and four bits are declared, is each bitfield contained within a byte or are they be split across multiple bytes?
| Code Block | ||
|---|---|---|
| ||
Compliant Solution (overlap)
| Code Block | ||
|---|---|---|
| ||
Risk Assessment
Making invalid assumptions about the type of a bit-field or its layout can result in unexpected program flow.
...