← Back to context Comment by uecker 2 days ago Union type punning is allowed and supported by GCC: https://godbolt.org/z/vd7h6vf5q 2 comments uecker Reply ryao 2 days 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 2 days 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 2 days 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 2 days 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 2 days 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.)