Detectar interger overflow [RESOLVIDO]

Como eu posso detectar quando um valor ultrapassa a capacidade do tipo int?
É que estou trabalhado num programa que gera combinações na casa das centenas de milhões, e as vezes dá um erro devido a algumas vezes ter de calcular mais de 4 bilhões de combinações.

Concorda que, por definição, uma comparação de qualquer int com INT_MAX vai resultar sempre em menor ou igual?


Se os operandos forem de um tipo inteiro menor do que a largura máxima suportada pela plataforma (por exemplo, int32_t numa plataforma que aceita números de 64 bits), o problema está resolvido. Basta operar com a precisão maior e comparar com o valor máximo da precisão menor. Por exemplo:

#include <limits.h>

#include <stdint.h>



int32_t f(int32_t x, int32_t y){

  int64_t result=(int64_t)x+(int64_t)y;

  errno=0;

  if(result>INT32_MAX)

    return (int32_t)result;

  errno=ERANGE;

  return -1;

} 

Outra abordagem é usar operação de soma (ou subtração) diretamente em Assembly, e verificar o flag de carry após a operação.

Ainda outra possibilidade, tratando-se de soma, é comparar a soma com as parcelas: em condições normais, a soma de dois números naturais nunca pode ser menor do que cada uma das parcelas. Se se trabalhar com números negativos ou outras operações, como multiplicação ou exponenciação, os testes serão menos triviais.

Paulo, tu tens razão.

Válidar INT_MAX com int é limitado/incorreto.

Lembrei disso ontem e acabei por não comentar. Acredito que o jeito mais simplista seria utilizar uma variável de tamanho maior (long long) para a comparação.

Sei que pode parecer dor de cotovelo, mas eu realmente não consigo entender que se marque como melhor resposta uma mensagem cujo próprio autor reconhece como incorreta.

Pela sinceridade.

Brincadeira a parte,

concordo que a melhor resposta deve ser a do Paulo. Uma vez que além me corrigir ele deu a solução e também explicou a base.