Sure, by not accessing the members through the union type you lose the information the compiler needs to relax strict aliasing assumptions for union access. It'

Sure, by not accessing the members through the union type you lose the information the compiler needs to relax strict aliasing assumptions for union access. It's a potential footgun, but IMO only with careful aiming. It's also not strictly related to union member pointers but applies generally to aliased pointers.