[C] Condizione di overflow

[andry85]

Salve, devo fare un esercizio che rilevi se avviene overflow per la somma di due numeri. Se si considerano:

int a,b,risultato;


Se setto sia a sia b a dei valori che siano minori del valore massimo scrivibile su un int, e ne faccio la somma (o la moltiplicazione )è possibile che questa (risultato) superi il massimo valore di un int. Il problema è che il risultato, dichiarandolo come int non potrà contenere un numero maggiore del massimo numero scrivibile su un int(ovviamente). Come faccio a rilevare l'overflow??? Ho sentito parlare di una variabile "errno" che potrebbe essere utile.
Spero possiate aiutarmi Grazie.

[oregon]

Io direi di studiare il segno degli operandi e del risultato ...

Prova questo semplice esempio

	int a = 2000000000;
	int b = 2000000000;
	int c;

	c = a + b;

	printf("%d + %d = %d\n", a, b, c);

e datti una spiegazione di quello che succede ...

[andry85]

Della variabile errno sai qualcosa?

[oregon]

La variabile errno puoi utilizzarla in questo modo

#include <math.h>
#include <errno.h>  /* to allow checking of int errno */

   ...
   double x;
   x = pow( 10.0, 1000.0 );
   printf( "\npow(10, 1000) = %f : errno = %i", x, errno );

   if( ERANGE == errno )
   {
        printf( "\nRange error.\n" );
        errno = 0;       
   }
   
   ...

ma non per l'addizione che ti ho mostrato ...

[andbin]

Originariamente inviato da andry85
Salve, devo fare un esercizio che rilevi se avviene overflow per la somma di due numeri. Se si considerano:

int a,b,risultato;


Se setto sia a sia b a dei valori che siano minori del valore massimo scrivibile su un int, e ne faccio la somma (o la moltiplicazione )è possibile che questa (risultato) superi il massimo valore di un int. Il problema è che il risultato, dichiarandolo come int non potrà contenere un numero maggiore del massimo numero scrivibile su un int(ovviamente). Come faccio a rilevare l'overflow???

Per la somma è abbastanza semplice ma bisogna usare l'algebra booleana. In pratica devi prendere in considerazione il bit più a sinistra dei due operandi e del risultato.
Scrivi una tabella di verità in cui hai come input i tre bit appena detti e come output l'overflow. Quindi determina la funzione booleana da usare per calcolare l'overflow.

Tra l'altro questa "logica" è spiegata sicuramente bene in tutti i manuali dei microprocessori/microcontrollori dove si parla del flag di overflow.

[oregon]

Originariamente inviato da andbin
Per la somma è abbastanza semplice ma bisogna usare l'algebra booleana. In pratica devi prendere in considerazione il bit più a sinistra dei due operandi e del risultato.
Scrivi una tabella di verità in cui hai come input i tre bit appena detti e come output l'overflow. Quindi determina la funzione booleana da usare per calcolare l'overflow.

E inoltre una bella ripassata al "complemento a 2" potrebbe chiarirti il perche' quest'ultimo bit a sinistra (quello del segno, per cui ti ho invitato a studiare i segni degli operandi e del risultato) sia importante ai fini dell'overfow ...

[andry85]

Scusate ma non basta guardare se il risultato supera un certo valore???

[oregon]

Ma hai fatto la prova che ti ho mostrato? Da quello che chiedi, sembra di no ...

[andbin]

Originariamente inviato da andry85
Scusate ma non basta guardare se il risultato supera un certo valore???

No, non puoi basarti solo sul valore del risultato (perché è della stessa dimensione degli operandi).

Per quanto riguarda la somma, le uniche 2 situazioni in cui hai un overflow sono quando:
- Due numeri positivi sommati danno come risultato un numero negativo
- Due numeri negativi sommati danno come risultato un numero positivo

Quindi, anche senza voler scendere nell'algebra booleana (se si volesse ragionare in termini dei bit più significativi) fare un test del genere con qualche 'if' sarebbe abbastanza semplice.

[andry85]

Originariamente inviato da oregon
Ma hai fatto la prova che ti ho mostrato? Da quello che chiedi, sembra di no ...

Si l'ho fatta la prova , il risultato è un numero negativo