Comment by ajross

The complaint isn't about alignment at all, it's that the optimizer assumes that two pointers to the same basic type cannot overlap in memory. The generated code is correct except for the fact that the two arguments are distinct pointers to the same three bytes in memory.

I believe this behavior is actually specified in the standard, actually, in the same section that defines the aliasing rules.