[Bug tree-optimization/28230] [4.2 Regression] -O2 -fwrapv miscompiles gcc, binutils, gzip.

[steven at gcc dot gnu dot org]

------- Comment #15 from steven at gcc dot gnu dot org  2006-09-24 10:08 -------
Significant difference:

n_15: [0, +INF]  EQUIVALENCES: { } (0 elements)  without -fwrapv
n_15: [1, 65534]  EQUIVALENCES: { } (0 elements) with -fwrapv

With -fwrapv this results in:

Folding predicate n_15 != 0 to 1
Folded statement: if (n_15 != 0) goto <L7>; else goto <L6>;
            into: if (1) goto <L7>; else goto <L6>;

which is the infinite loop here.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=28230