Desbordamiento aritmético con signo: documenta el contrato del compilador antes de cambiar la optimización

Qué es

La documentación de GCC describe -fwrapv como la opción que solicita un comportamiento de envolvimiento (wrapping) en la suma, la resta y la multiplicación con signo, mientras que -ftrapv solicita que esas operaciones generen una trampa (trap). Las opciones interactúan entre sí, y importan tanto su orden como cuál está activa. Se trata de contratos explícitos del compilador, con un alcance definido, y no de formas intercambiables de hacer seguras todas las operaciones aritméticas. GCC optimization options

Por qué importa

Un agente que investiga un error que solo aparece en release puede desactivar la optimización y darse por satisfecho. Eso demuestra que hay una diferencia de entorno, pero deja sin especificar la aritmética que se pretendía. Para contadores, longitudes y desplazamientos (offsets), antes de elegir una implementación hay que decidir si un resultado fuera de rango debe rechazarse, saturarse, ampliarse a un tipo mayor o envolverse.

Cómo aplicarlo

• Captura las opciones de compilación reales de la unidad de traducción que falla, incluida la configuración heredada del sistema de compilación. Registra el compilador y la plataforma de destino en lugar de fiarte del nombre del perfil de compilación.
• Escribe junto al cálculo los rangos válidos de los operandos y la política prevista para el resultado. Si se trata del tamaño de una asignación de memoria, incluye los cálculos intermedios y no te limites al tipo de destino final.
• Construye los casos límite propuestos justo dentro y justo fuera del rango permitido. Mantén los resultados esperados independientes de lo que imprima el ejecutable actual.
• Si hace falta rechazar el resultado, prefiere una operación aritmética con comprobación o una verificación de rango justificada matemáticamente. Si el envolvimiento forma parte deliberada del contrato, indica qué operaciones y qué unidades de compilación dependen de él.
• Compara las configuraciones debug y release con los mismos casos de prueba (fixtures) y revisa después los diagnósticos relevantes. Conserva el ejemplo más pequeño que muestre por qué es necesario el contrato elegido.

Trampas

No supongas que un tipo de destino más ancho salva un cálculo intermedio realizado en un tipo más estrecho. Una opción documentada para la suma, la resta y la multiplicación no es una garantía general sobre la división, los desplazamientos de bits o los punteros. Evita cambiar en silencio las opciones de todo el proyecto para corregir una sola operación local. Las comprobaciones propuestas son un plan de investigación; aquí no se afirma que se haya hecho ningún experimento con el compilador ni que haya pasado ninguna prueba de casos límite.