Является ли тип -каламбуром через объединение, не указанное в C99, и стало ли оно специфицированным в C11?

Ряд ответов на вопрос о переполнении стека Получение битов точности IEEE Single -для числа с плавающей запятой предлагают использовать структуру unionдля каламбура типа (, например. :преобразование битов floatвuint32_t):

union {
    float f;
    uint32_t u;
} un;
un.f = your_float;
uint32_t target = un.u;

Однако значение члена объединения uint32_tне указано в соответствии со стандартом C99 (, по крайней мере, в проекте n1124 ), где в разделе 6.2.6.1.7 указано:

When a value is stored in a member of an object of union type, the bytes of the object representation that do not correspond to that member but do correspond to other members take unspecified values.

По крайней мере, одна сноска проекта C11 n1570 подразумевает, что это больше не так (, см. сноску 95 в 6.5.2.3):

If the member used to read the contents of a union object is not the same as the member last used to store a value in the object, the appropriate part of the object representation of the value is reinterpreted as an object representation in the new type as described in 6.2.6 (a process sometimes called ‘‘type punning’’). This might be a trap representation.

Однако текст раздела 6.2.6.1.7 в проекте C99 такой же, как и в проекте C11.

Действительно ли это поведение не указано в C99? Стало ли это указано в C11? Я понимаю, что большинство компиляторов поддерживают это, но было бы неплохо узнать, указано ли это в стандарте или это просто очень распространенное расширение.