[steveklabnik]

C absolutely has struct, array, and subobject boundaries. The example is already undefined behavior in C.

[mbrock]

In the ISO standard, yeah, but that's not how C actually works.