https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118141
uecker at gcc dot gnu.org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |uecker at gcc dot gnu.org
--- Comment #17 from uecker at gcc dot gnu.org ---
In C, type punning via unions is not undefined behavior. Reading via a
different member than last written could be undefined behavior when it is a
non-value (trap) representation for the type.
