← Back to context Comment by uecker 10 months ago Union type punning is allowed and supported by GCC: https://godbolt.org/z/vd7h6vf5q 2 comments uecker Reply ryao 10 months ago 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. uecker 10 months ago I am a member of the standards committee and a GCC maintainer. The C standard supports union punning. (You are right though that relying on godbolt examples can be misleading.)
ryao 10 months ago 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. uecker 10 months ago I am a member of the standards committee and a GCC maintainer. The C standard supports union punning. (You are right though that relying on godbolt examples can be misleading.)
uecker 10 months ago I am a member of the standards committee and a GCC maintainer. The C standard supports union punning. (You are right though that relying on godbolt examples can be misleading.)
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.
I am a member of the standards committee and a GCC maintainer. The C standard supports union punning. (You are right though that relying on godbolt examples can be misleading.)