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

[steven at gcc dot gnu dot org]

------- Comment #14 from steven at gcc dot gnu dot org  2006-09-24 10:05 -------
Value ranges after VRP without -fwrapv:

e_1: VARYING
n_2: VARYING
e_3: VARYING
tn_4: VARYING
D.1875_5: [0, 65535]  EQUIVALENCES: { } (0 elements)
bb_6: VARYING
D.1876_7: [0, +INF]  EQUIVALENCES: { } (0 elements)
n_8: [0, +INF]  EQUIVALENCES: { } (0 elements)
e_9: VARYING
e_11: VARYING
e_12: [n_2 + 1, +INF]  EQUIVALENCES: { e_1 e_21 } (2 elements)
e_13: [e_3, e_3]  EQUIVALENCES: { e_3 } (1 elements)
D.1878_14: [0, +INF]  EQUIVALENCES: { } (0 elements)
n_15: [0, +INF]  EQUIVALENCES: { } (0 elements)
D.1879_16: VARYING
SMT.5_17: VARYING
SMT.5_18: VARYING
e_21: [n_2 + 1, +INF]  EQUIVALENCES: { e_1 } (1 elements)




Value ranges after VRP with -fwrapv:

e_1: VARYING
n_2: [0, 65534]  EQUIVALENCES: { } (0 elements)
e_3: VARYING
tn_4: VARYING
D.1875_5: [0, 65535]  EQUIVALENCES: { } (0 elements)
bb_6: VARYING
D.1876_7: [0, +INF]  EQUIVALENCES: { } (0 elements)
n_8: [0, 65534]  EQUIVALENCES: { } (0 elements)
e_9: VARYING
e_11: VARYING
e_12: [1, +INF]  EQUIVALENCES: { e_1 e_21 } (2 elements)
e_13: [e_3, e_3]  EQUIVALENCES: { e_3 } (1 elements)
D.1878_14: [0, +INF]  EQUIVALENCES: { } (0 elements)
n_15: [1, 65534]  EQUIVALENCES: { } (0 elements)
D.1879_16: VARYING
SMT.5_17: VARYING
SMT.5_18: VARYING
e_21: [1, +INF]  EQUIVALENCES: { e_1 } (1 elements)


-- 


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