Different alignments are possible for different types of objects. If the type checking system is overridden by an explicit cast, or the pointer is converted to void * and then to a different type, the alignment of an object may be changed. As a result, if a pointer to one object type is converted to a pointer to a different object type, the second object types must have the same alignmenttype must not require stricter alignment than the first.
Non-Compliant Code Example
...