6.5.10 Bitwise AND operator

AND-expression:
                equality-expression
                AND-expression & equality-expression

1225 Each of the operands shall have integer type.

1226 The usual arithmetic conversions are performed on the operands.

1227 The result of the binary & operator is the bitwise AND of the operands (that is, each bit in the result is set if and only if each of the corresponding bits in the converted operands is set).

1228 92) Two objects may be adjacent in memory because they are adjacent elements of a larger array or adjacent members of a structure with no padding between them, or because the implementation chose to place them so, even though they are unrelated.

1229 If prior invalid pointer operations (such as accesses outside array bounds) produced undefined behavior, subsequent comparisons also produce undefined behavior.