test af overflow/underflow

Jeg mener desværre at integer overflow er implementation specific.

Hvis din compiler/platform smider en exception, så kan du bare fange den.

Men de fleste compilere laver bare en trunkering.

Du kunne stadig konstruere en if statement, men det ville blive
noget lidt spøjst kode.

Jeg fandt selv en jeg kunne bruge. Den er til multiplikation, men virker så vidt jeg kan se...

    unsigned int a, b, c;

    c = a*b;
    if (b != 0 && c/b != a)
        perform_overflow_processing();

Den virker, men:

  c=a+b;
  if(c-b != a)

virker ikke !

Så vidt jeg lige kan se kan man bruge følgende check for overflow:

unsigned int a = 0xAABBCCDD;
unsigned int b = 0xBBBBBBBB;
unsigned int c = a + b;
if(c < a && c < b)
  printf("Overflov\n");

Jep

No

Jeg tror at det skal være OR ikke AND

Hvis vi kikker på 2 bits tal:

#include <stdio.h>

int main(void)
{
  unsigned int a, b, c, carry;
  for(a = 0; a < 4; a++)
    for(b = 0; b < 4; b++)
    {
      c = (a + b) & 0x03;
      carry = c < a;
      printf("%u + %u = %u - %s\n", a, b, c, carry ? "Overflow" : "");
    }

  return 0;
}

Ser det ud til at     

carry = c < a;

giver det samme resultat som:

carry = c < b;

som giver samme resultat som:

carry = c < a && c < b;

Logisk set må det også passe.

Summen kan aldrig blive større end nogen af tallene ved overflow.

Jeg troede faktisk at det kunne blive større end et af dem, men det kan det
ikke. Det vil altid være mindst 1 mindre end tallene.