ZodiacXP
Erfahrenes Mitglied
Code:
int a, b;
... // Definition der Inhalte von a und b
while (a != b) {
if (a > b)
a = a - b;
else
b = b - a;
}
System.out.println(a);
Meine Annahme: Selbst wenn a=MAX_INTEGER und b=-1 wird aus a durch overflow MIN_INTEGER, der sicherlich wieder bei genügender Addition b=-1 trifft.
Ist a allerdings beliebig ungerade und b beliebig gerade so kann die Schleife nicht terminieren.
Bei beiden Annahmen bin ich mir sehr unsicher wüsste aber nicht wie ich das zeigen kann. Am besten natürlich ohne Beispiel, ganz allgemein.