¿C89 o C++ 03 definen reglas de alias estrictas?

Question

que he visto que several assertions C89 y C++ 03 definen reglas estrictas aliasing. Yo, sin embargo, no puedo encontrar ese bit en particular en el estándar. Según entendí, se agregaron estrictas reglas de aliasing en C99.

Answer 1

El C++ 03 estándar tiene la siguiente bajo §3.10 [basic.lval] p15:

Si un programa intenta acceder al valor almacenado de un objeto a través de un lvalue distinta de uno de los siguientes tipos el comportamiento es indefinido ⁴⁸⁾:
- el tipo dinámico del objeto,
- una versión cv calificado del tipo dinámico del objeto,
- un tipo que se la firmó o tipo sin signo correspondiente al tipo de dinámica del objeto ,
- un tipo que es el tipo firmado o sin firmar correspondiente a una versión cv-calificada del tipo dinámico del objeto,
- un agregado o tipo de unión que incluye uno de los tipos mencionados entre sus miembros (incluido, recursivamente, un miembro de una subagregado o unión contenida),
- un tipo que es un() tipo de clase base posiblemente cv calificado del tipo dinámico del objeto,
- un char o tipo unsigned char.

Nota al pie:

⁴⁸⁾ La intención de esta lista es especificar aquellas circunstancias en las que un objeto puede o no puede tener un alias.

This site también enumera las secciones en las otras normas.

Answer 2

Este texto está presente en C89, §3.3 expresiones:

Un objeto tendrá su almacenado valor visitada solamente por un lvalue que tiene uno de los siguientes tipos:

• el tipo declarado del objeto,

• una versión calificada del tipo de objeto declarado ,

• un tipo que se la firmó o tipo sin signo correspondiente a la
  tipo declarado del objeto,

• un tipo que se la firmó o tipo sin signo correspondiente a una versión calificada de la
  tipo declarado del objeto,

• un tipo de agregado o unión que incluye uno de la mencionada
  tipos entre sus miembros (incluyendo, de forma recursiva, un miembro de un subagregado
  contenida o unión), o

• un tipo de carácter.

Violación de un "deberá" restricción conduce a un comportamiento no definido, por lo que un conjunto de reglas de solapamiento permitidas se puede derivar de este texto.

Answer 3

3,3 en C89, 3,10/15 en C++ 03.

Ambos tienen una nota al pie, palabras para el efecto de, "el propósito de esta lista es indicar cuándo un objeto puede o no tener un alias".