Overflow aritmético com sinal: documente o contrato do compilador antes de alterar a otimização

O que é

A documentação do GCC descreve -fwrapv como a opção que pede comportamento de wrapping (retorno cíclico) para adição, subtração e multiplicação com sinal, enquanto -ftrapv pede traps nessas mesmas operações. As opções interagem entre si, e tanto a ordem quanto o estado ativo importam. São contratos explícitos do compilador, com escopo definido, e não formas intercambiáveis de tornar seguras todas as operações aritméticas. GCC optimization options

Por que importa

Um agente que investiga um bug que só aparece em release pode desativar a otimização e parar por aí. Isso confirma uma diferença de ambiente, mas deixa sem especificação a aritmética pretendida. Para contagens, comprimentos e offsets, decida se um resultado fora do intervalo deve ser rejeitado, saturado, ampliado ou tratado com wrapping antes de escolher uma implementação.

Como aplicar

• Capture as flags de compilação reais da unidade de tradução com falha, incluindo as configurações de build herdadas. Registre o compilador e o alvo (target), em vez de confiar no nome do perfil de build.
• Escreva os intervalos válidos dos operandos e a política de resultado pretendida junto ao cálculo. Para um tamanho de alocação, inclua os cálculos intermediários, e não apenas o tipo de destino final.
• Monte os casos de borda propostos logo dentro e logo fora do intervalo permitido. Mantenha os resultados esperados independentes do que o executável atual por acaso imprime.
• Prefira uma operação aritmética verificada ou uma verificação de intervalo matematicamente justificada quando for necessário rejeitar o resultado. Se o wrapping fizer parte do contrato de forma deliberada, indique quais operações e unidades de compilação dependem dele.
• Compare as configurações de debug e release com os mesmos fixtures e depois inspecione os diagnósticos relevantes. Guarde o menor exemplo que mostre por que o contrato escolhido é necessário.

Armadilhas

Não presuma que um destino mais largo salva um cálculo intermediário feito em um tipo mais estreito. Uma flag documentada para adição, subtração e multiplicação não é uma garantia geral para divisão, shifts ou ponteiros. Evite alterar silenciosamente as flags do projeto inteiro para corrigir uma única operação local. As verificações propostas são um plano de investigação; aqui não se afirma que algum experimento com o compilador ou algum teste de limites tenha sido executado com sucesso.