1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19
/* { dg-additional-options "-std=gnu89" } */ foo (a, b) { unsigned x = 1; a += b; a += x; if (a <= 0) return 1; return 0; } main () { printf ("%d\n", foo (1, ~0)); printf ("%d\n", foo (0, ~0)); printf ("%d\n", foo (-1, ~0)); }