Union type punning is allowed and supported by GCC: https://godbolt.org/z/vd7h6vf5q

I said that GCC defines type punning via unions. It is an extension to the C standard that GCC did.

That said, using “the code compiles in godbolt” as proof that it is not relying on what the standard specifies to be UB is fallacious.