Editado para incluir la referencia estándar adecuada gracias a Carl Norum.

Los estados estándar C

Si unacondición excepcional ocurre durante la evaluación de una expresión (es decir, si el resultado no está matemáticamente definido o no está en el rango de valores representables para su tipo), el comportamiento es indefinido.

¿Hay modificadores del compilador que garanticen ciertos comportamientos en el desbordamiento de enteros? Me gustaría evitar los demonios nasales. En particular, me gustaría obligar al compilador a ajustarse al desbordamiento.

En aras de la unicidad, tomemos el estándar como C99 y el compilador como gcc. Pero me interesarían las respuestas para otros compiladores (icc, cl) y otros estándares (C1x, C89). De hecho, solo para molestar a la multitud de C / C ++, incluso agradecería las respuestas para C ++ 0x, C ++ 03 y C ++ 98.

Nota: La norma internacional ISO / IEC 10967-1 puede ser relevante aquí, pero por lo que pude ver, solo se mencionó en el anexo informativo.